Embedded system design : modeling, synthesis and verification

Embedded system design : modeling, synthesis and verification

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Gajski Daniel D. (Auteur), Abdi Samar (Auteur), Gerstlauer Andreas (Auteur)
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 :
Systèmes embarqués (informatique)
Documents associés : Autre format: Embedded system design

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 004.2 EMB/13979 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C410 Prêt sans prolongation Disponible