000 00255nam a22000977a 4500
100 _aDANIEL D. GAJSKI
245 _aEMBEDDDED SYSTEM DESIGN: MODELING SYNTHESIS AND VERIFICATION
260 _aNEW DELHI
_bSPRINGER
_c2006
300 _aXXV, 352P
942 _cBK
999 _c8442
_d8442