Formalisme DELTA un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones /

Description

Reproduction de : Thèse de 3e cycle : informatique : Grenoble, INPG : 1981. / Titre provenant de l'écran-titre. Bibliogr. p. 311-318.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00297303

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/494640565
Date	January 2008
Creators	Nemmour, Mohamed. Anceau, François
Publisher	S. l. : Université Grenoble 1,
Source Sets	OCLC
Language	French
Detected Language	French