Logic Synthesis for Control Automata
Enregistré dans:
| Auteur principal: | Baranov, Samary |
|---|---|
| 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: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic Synthesis for Control Automata, 978-1-4613-6158-9 |
Documents similaires
-
Logic and Automata
(Livre numérique)
Amsterdam University Press, 2023 - Logic synthesis for compositional microprogram control units (Livre numérique)
-
Logic Synthesis for FSM-Based Control Units
(Livre numérique)
Barkalov, Alexander, et autres -
Automata, logics, and infinite games
(Livre numérique)
Grädel, Erich, 1958- - Logic Synthesis and Verification (Livre numérique)

