SPECC: Specification Language and Methodology
Zapisane w:
| Główni autorzy: | Gajski, Daniel D., Dömer, Rainer, 19..-...., auteur en informatique (Autor), Gerstlauer, Andreas (Autor), Zhao, Shuqing (Autor), Zhu, Jianwen (Autor) |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Dostęp 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 |
| Komentarz: |
Autre(s) auteurs(s) : Andreas Gerstlauer, Shuqing Zhao Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • SPECC: Specification Language and Methodology, 978-1-4613-7036-9 |
Podobne zapisy
-
System Design : A Practical Guide with SpecC
(Livre numérique)
Gerstlauer, Andreas, i wsp. -
Embedded system design : modeling, synthesis and verification
(Livre numérique)
Gajski, Daniel D., i wsp.
Springer US, 2009 -
Specification and Design Methodology for Real-Time Embedded Systems
(Livre numérique)
Janka, Randall S. -
Studies in linguistic methodology and philosophy of language
(Livre numérique)
Stalmaszczyk, Piotr
Wydawnictwo Uniwersytetu Łódzkiego, 2025 -
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL 04
(Livre numérique)
Boulet, Pierre, 1970-...., chercheur en informatique

