000 00308nam a22001217a 4500
020 _a9788132211068
082 _a004.33
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