Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : Tamisier, Thomas. Auteur du texte  Voir les notices liées en tant qu'auteur

Titre(s) : Vérification et minimisation de systèmes séquentiels [Texte imprimé] : optimisations de méthodes basées sur la composition de fonctions booléennes / Thomas Tamisier

Publication : Paris : Ecole nationale supérieure des télécommunications, 1995

Description matérielle : 102 p. : ill. ; 30 cm

Collection : Télécom Paris. E, ISSN 0751-1353 ; 94, 20

Lien à la collection : ENST. E  Voir toutes les notices liées

Note(s) : Résumé en français et en anglais. - Bibliogr. p. 99-102
Th. doct. : Informatique et réseaux : Paris, ENST : 1994

Sujet(s) : Théorie des machines séquentielles  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : (Br.) : 100 F

Identifiant de la notice  : ark:/12148/cb35748858j

Notice n° :  FRBNF35748858