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

Bibliographic Details
Main Author:	Nemmour, Mohamed
Language:	FRE
Published:	1981
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line
Online Access:	http://tel.archives-ouvertes.fr/tel-00297303 http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf

id	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00297303
record_format	oai_dc
spelling	ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-002973032013-01-07T18:33:15Z http://tel.archives-ouvertes.fr/tel-00297303 http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones Nemmour, Mohamed [INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line . 1981-12-03 FRE PhD thesis
collection	NDLTD
language	FRE
sources	NDLTD
topic	[INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line
spellingShingle	[INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line Nemmour, Mohamed Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
description	.
author	Nemmour, Mohamed
author_facet	Nemmour, Mohamed
author_sort	Nemmour, Mohamed
title	Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
title_short	Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
title_full	Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
title_fullStr	Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
title_full_unstemmed	Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
title_sort	formalisme delta : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones
publishDate	1981
url	http://tel.archives-ouvertes.fr/tel-00297303 http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf
work_keys_str_mv	AT nemmourmohamed formalismedeltaunoutildedescriptionlogiquepourlasyntheseautomatiquedanslaconceptiondesmachinessequentiellessynchrones
_version_	1716452795386691584

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

Similar Items