Embedded system design : modeling, synthesis and verification
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Embedded system design : modeling, synthesis and verification / Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer [...] |
Publié : |
Dordrecht, New York :
Springer
, 2009 |
Description matérielle : | 1 vol. (XXIV-352 p.) |
Sujets : | |
Documents associés : | Autre format:
Embedded system design |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Magasin n.3 | 004.2 EMB/13979 | Empruntable | Disponible |
Bib. CRDM (Mathématiques)
| Cote | Prêt | Statut |
---|---|---|---|
Bibliothèque | 68C410 | Prêt sans prolongation | Disponible |