Titre :	Logique et théorie des systèmes digitaux
Type de document :	texte imprime
Auteurs :	André Thayse
Editeur :	Paris : Lavoisier
Année de publication :	2002
Importance :	272 p.
Présentation :	fig.
Format :	24cm.
ISBN/ISSN/EAN :	978-2-7462-0586-4
Note générale :	Bibliogr.Index
Langues :	Français
Mots-clés :	Systèmes digitaux  Fonction booléenne  Prédicats  Programmation logique  Information
Résumé :	Cet ouvrage présente une théorie unifiée des techniques de synthèse des systèmes digitaux ,théorie qui s'applique aussi bien aux synthèses des systèmes digitaux matérielles que logicielles,et aussi bien les paradigmes de la programmation impérative que de la programmation déclarative.
Permalink :	./index.php?lvl=notice_display&id=9867

Logique et théorie des systèmes digitaux [texte imprime] / André Thayse . - Paris : Lavoisier, 2002 . - 272 p. : fig. ; 24cm.
ISBN : 978-2-7462-0586-4
Bibliogr.Index
Langues : Français

Mots-clés :	Systèmes digitaux  Fonction booléenne  Prédicats  Programmation logique  Information
Résumé :	Cet ouvrage présente une théorie unifiée des techniques de synthèse des systèmes digitaux ,théorie qui s'applique aussi bien aux synthèses des systèmes digitaux matérielles que logicielles,et aussi bien les paradigmes de la programmation impérative que de la programmation déclarative.
Permalink :	./index.php?lvl=notice_display&id=9867