| 000 | 00378nam a2200133Ia 4500 | ||
|---|---|---|---|
| 008 | 190711s9999 xx 000 0 und d | ||
| 020 | _a0123706164 | ||
| 082 | _a621.38195 F949 | ||
| 100 | _aFUJITA,M AND OTHERS. | ||
| 245 | 0 | _aVERIFICATION TECHNIQUES FOR SYSTEM- LEVEL DESIGN | |
| 260 |
_aAmsterdam _bMorgan Kaufmann _c2008 |
||
| 300 | _aviii+240p.,22x19Cms. | ||
| 942 |
_cBK _2DDC |
||
| 999 |
_c33271 _d33271 |
||