| 000 | 00339nam a22001337a 4500 | ||
|---|---|---|---|
| 008 | 170803b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9783211832820 | ||
| 041 | _aeng | ||
| 080 | _a004 | ||
| 100 | _a32 | ||
| 101 | _aSHK | ||
| 245 |
_aTOOL SUPPORT FOR SYSTEM SPECIFICATION, DEVELOPMENT AND VERIFICATION _cBERGHAMMER,R |
||
| 942 |
_2udc _cBK |
||
| 999 |
_c22588 _d22588 |
||