| 000 | 01058cam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls003231490 | ||
| 003 | MY-SjTCS | ||
| 005 | 20200226120711.0 | ||
| 008 | 120427s2011 flua b 001 0 eng d | ||
| 020 | _a9781439818459 (hbk.) | ||
| 020 | _a1439818452 (hbk.) | ||
| 039 | 9 |
_a201206291058 _bwilmina _c201206261009 _dstazrina _y201204271705 _zizani |
|
| 082 | 0 | 4 |
_a004.1 _bMOD 2012 |
| 245 | 0 | 0 |
_aModel-based testing for embedded systems / _cedited by Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman. |
| 260 |
_aBoca Raton, FL : _bCRC Press, _cc2012. |
||
| 300 |
_axxvii, 660 p. : _bill. ; _c26 cm. |
||
| 490 | 1 |
_aComputational analysis, synthesis, and design of dynamic systems ; _v13 |
|
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aEmbedded computer systems _xTesting. |
|
| 700 | 1 |
_aZander, Justyna. _961359 |
|
| 700 | 1 |
_aSchieferdecker, Ina. _961360 |
|
| 700 | 1 |
_aMosterman, Pieter J. _953004 |
|
| 830 | 0 |
_aComputational analysis, synthesis, and design of dynamic systems ; _v13. _985740 |
|
| 920 | _aENG : 182252 | ||
| 999 |
_c169041 _d169041 |
||