SIAM : une boîte à outils pour la preuve formelle de systèmes séquentiels /

Description

Th. doct.--Electronique et communications--Paris--ENST, 1991. / Bibliogr. p. 141-149. Index.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb35542043h

Tags

Machines séquentielles, Théorie des.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/463564703
Date	January 1992
Creators	Coudert, Olivier.
Publisher	Paris : Ecole nationale supérieure des télécommunications,
Source Sets	OCLC
Language	French
Detected Language	French