| 000 | 00589nam a2200193Ia 4500 | ||
|---|---|---|---|
| 005 | 20251009113331.0 | ||
| 008 | 251009s1997##################000#0#eng## | ||
| 020 |
_a9780120121656 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004 _bZEL.65 |
||
| 100 | _aZelkowitz, Marvin V | ||
| 245 |
_aAdvances in computers _cedited by Marvin V.Zelkowitz _b: vol 65 |
||
| 250 | _a1st ed | ||
| 260 |
_aAmsterdam _bElsevier / Academic Press _c1997 |
||
| 300 |
_axiv, 432 p. _c28 cm. |
||
| 500 | _aIncludes Index | ||
| 650 | _aComputer Science; Artificial Intelligence; Software Model Checking | ||
| 942 | _cREF | ||
| 999 |
_c591317 _d591317 |
||