| 000 | 00705pam a2200229a 44500 | ||
|---|---|---|---|
| 999 |
_c4460 _d4460 |
||
| 008 | 150502b2013 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9788132211068 | ||
| 040 |
_cBITS Pilani Hyderabad _aBITS Pilani Hyderabad |
||
| 041 | _aENG | ||
| 082 | _a004.21 GAJ-D | ||
| 100 | _aGajski, Daniel | ||
| 245 |
_aEmbedded system design: modeling, synthesis and verification / _cDaniel D. Gajski |
||
| 260 |
_aIndia _bSpringer _c2013 |
||
| 300 | _a352 p. | ||
| 650 | _aEngineeringﾠ | ||
| 650 | _aComputer-aided designﾠ | ||
| 650 | _aSystems engineeringﾠ | ||
| 650 | _aSoftware engineeringﾠ | ||
| 650 | _aEmbedded computer systems--Design and constructionﾠ | ||
| 907 | _a004.21 GAJ-D | ||
| 942 | _2ddc | ||