Formal Semantics for VHDL
Сохранить в:
| Другие авторы: | Breuer, Peter T. (Соавтор), Kloos, Carlos Delgado (Соавтор) |
|---|---|
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal Semantics for VHDL, 978-1-4613-5941-8 |
Схожие документы
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
(Livre numérique)
Umamageswaran, Kothanda, и др. - VHDL for Simulation, Synthesis and Formal Proofs of Hardware (Livre numérique)
-
Formal semantics : the essential readings
(Livre papier)
Portner, Paul H., 1966-
Blackwell, 2002 -
Curso de semântica formal
(Livre numérique)
Ferreira, Marcelo
Language Science Press, 2019 -
Curso de semântica formal
(Livre numérique)
Ferreira, Marcelo
Language Science Press, 2021

