| 000 | 00984pam a2200325 a 4500 | ||
|---|---|---|---|
| 001 | 26255090 | ||
| 005 | 20201215151052.0 | ||
| 008 | 920707s1992 enka b 001 0 eng | ||
| 010 | _a92025895 | ||
| 020 |
_a0201416085 : _c$34.00 |
||
| 020 |
_a9780201416084 : _cNo price |
||
| 040 |
_aDLC _cDLC _dUKM |
||
| 049 |
_aTIZA _b24872 |
||
| 072 | 7 |
_aUM _2thema |
|
| 082 | _a005.14 | ||
| 100 | 1 |
_aFrancez, Nissim. _921076 |
|
| 245 | 1 | 0 |
_aProgram verification / _cFrancez Nissim. |
| 260 |
_aWokingham, Eng. ; _aReading, Mass. : _bAddison-Wesley Pub. Co., _cc1992. |
||
| 300 |
_axi, 312 p. : _bill. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. 295-303) and index. | ||
| 590 | _a22.95 | ||
| 650 | 0 |
_aComputer software _xVerification _92505 |
|
| 650 | 7 |
_aComputer programming / software engineering _2thema _944022 |
|
| 653 | 0 | _aProgramming | |
| 902 | _a140901 | ||
| 903 | _aMARS | ||
| 907 |
_a.b10076608 _bcgen _c- |
||
| 942 | _n0 | ||
| 998 |
_b1 _c010425 _dm _ea _f- _g0 |
||
| 999 |
_c7600 _d7600 |
||