La machine sequentielle interpretee : un modele a etats pour la representation discrete et la verification de systemes / Eric Vandermeulen

Date :

Format : 1 microfiche

Type : Livre / Book

Type : Thèse / Thesis

Langue / 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]