Synthesis of Finite State Machines : Logic Optimization

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Villa, Tiziano, Kam, Timothy (Auteur), Brayton, Robert King, 1933- (Auteur), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Auteur)
Format: Livre numérique
Langue:Anglais
Publié: Cham : Springer International Publishing [20..].
Cham : Springer Nature
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Autre(s) auteurs(s) : Alberto Sangiovanni-Vincentelli
Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Synthesis of Finite State Machines, Logic Optimization

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL