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 :
Documents associés : Autre format: Embedded system design
LEADER 01678cam a2200457 4500
001 PPN139252355
003 http://www.sudoc.fr/139252355
005 20230710130500.0
010 |a 978-1-441-90503-1 
010 |a 1-441-90503-0 
035 |a (OCoLC)690486372 
073 0 |a 9781441905031 
100 |a 20091215d2009 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL 
105 |a a a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 0 |a Embedded system design  |e modeling, synthesis and verification  |f Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer [...] 
214 0 |a Dordrecht  |a New York  |c Springer  |d 2009 
215 |a 1 vol. (XXIV-352 p.)  |c ill.  |d 24 cm 
320 |a Bibliogr. Index 
452 | |0 149047487  |t Embedded system design  |o modeling, synthesis and verification  |f Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer [...]  |d 2009  |c New York, NY  |n Springer US  |n Imprint: Springer  |y 978-1-441-90504-8 
606 |3 PPN033217521  |a Systèmes embarqués (informatique)  |2 rameau 
680 |a TK7895.E42 
700 1 |3 PPN139252738  |a Gajski  |b Daniel D.  |4 070 
701 1 |3 PPN195431316  |a Abdi  |b Samar  |4 070 
701 1 |3 PPN195431502  |a Gerstlauer  |b Andreas  |4 070 
801 3 |a FR  |b Abes  |c 20220905  |g AFNOR 
801 0 |b BTCTA  |g AACR2 
801 2 |b IXA  |g AACR2 
979 |a CCFA 
930 |5 441092104:384304095  |b 441092104  |j u 
930 |5 441092208:639678556  |b 441092208  |a LINA/68C410  |j u 
915 |5 441092208:639678556  |b 21234 
991 |5 441092208:639678556  |a exemplaire créé automatiquement par l'ABES 
998 |a 564091