000 00451nam a2200145Ia 4500
999 _c20590
_d20590
008 161214s9999 xx 000 0 und d
020 _a9781441905031
_chbk
082 _a004.21
_bGAJ
100 _aGajski, Daniel D.
245 0 _aEmbedded system design : modeling, synthesis and verification
260 _aDordrecht:
_bSpringer,
_c2009
300 _axxiv, 352 p.;
_bill.:
_c24 cm.
365 _aEURO
_b79.95,Rs.5736.40
650 _aEmbedded computer systems - Design
942 _2ddc
_cBK