| 000 | a | ||
|---|---|---|---|
| 999 |
_c194807 _d194807 |
||
| 020 | _a9788131716120 | ||
| 040 | _cCUS | ||
| 082 |
_bGAJ/S _a004.21 |
||
| 100 | _aGajski, Daniel D. | ||
| 245 |
_aSpecification and design of embedded systems / _cDaniel D. Gajski, Frank Vahid, Sanjiv Narayan and Jie Gong |
||
| 260 |
_aNoida: _bPearson, _c2007. |
||
| 300 |
_axvii, 450 p. _bPB |
||
| 505 | _a1.Introduction 2. Models and architectures 3. Specification language 4. A specification example | ||
| 942 | _cWB16 | ||