000 00539pam a2200169a 44500
008 160408b2009 xxu||||| |||| 00| 0 eng d
020 _a9781441905031
040 _aIIT, Kanpur
082 _a621.392
_bEm13
100 _a
245 1 _aEmbedded system design
_bmodeling, synthesis and verification
_cDaniel D. Gajski ...[et al.]
260 _aNew York
_bSpringer Science+Media
_c2009
300 _axxiv, 352p.
650 _aEmbedded computer systems
700 _aGajski, Daniel D.
997 _aA170055 s C
999 _c367578
_d367578