| 000 | 00618nam a2200193Ia 4500 | ||
|---|---|---|---|
| 005 | 20251009121429.0 | ||
| 008 | 251009s1997##################000#0#eng## | ||
| 020 |
_a0120121581 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a004 _bZEL.58 |
||
| 100 | _aZelkowitz, Marvin V | ||
| 245 |
_aAdvances in computers _cedited by Marvin V.Zelkowitz _b: vol 58 highly dependable software |
||
| 250 | _a1st ed | ||
| 260 |
_aAmsterdam _bElsevier / Academic Press _c1997 |
||
| 300 |
_axv, 366 p. _c28 cm. |
||
| 500 | _aIncludes Index | ||
| 650 | _aComputer Science; Gui Testing; Software Security; Bounded Model Checking | ||
| 942 | _cREF | ||
| 999 |
_c591328 _d591328 |
||