| 000 | 00355nam a2200157Ia 4500 | ||
|---|---|---|---|
| 082 | _a001.64404/Gaj | ||
| 100 | _aGajski, Daniel D | ||
| 526 | _dTB | ||
| 526 | _aPG | ||
| 366 | _f28.25 | ||
| 942 | _cBK | ||
| 245 | _aEmbedded System Design: Modeling Synthesis and Verification | ||
| 260 |
_aLondon _bSpringer _c2013 |
||
| 300 | _axvii,352 | ||
| 546 | _aE | ||
| 999 |
_c78493 _d78493 |
||