Synthesis of Finite State Machines : Functional Optimization

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Kam, Timothy, Brayton, Robert King, 1933- (Auteur), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Auteur), Villa, Tiziano (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, Functional 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