La machine sequentielle interpretee : un modele a etats pour la representation discrete et la verification de systemes / Eric Vandermeulen
Date : 1996
Format : 1 microfiche
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Relation : La Machine Séquentielle Interprétée : un modèle à états pour la représentation discrète et la vérification de systèmes / Eric Vandermeulen ; sous la direction de Janine Magnier / [S.l.] : [s.n.] , [1996]