| 000 | 01017cam a2200301 a 4500 | ||
|---|---|---|---|
| 001 | vtls000298424 | ||
| 003 | UG-KaMUL | ||
| 005 | 20250613002856.0 | ||
| 010 | _a85-031178 | ||
| 020 |
_a0138807256 : _c _34.95 |
||
| 020 | _a0138807175 (pbk.) | ||
| 039 |
_a201606161532 _b 902 _c 201302181013 _d 902 _c 201208071441 _d 902 _c 201204140949 _d 952 _y 201107291106 _z902 |
||
| 040 |
_aDLC _d UG-KaMUL |
||
| 082 |
_a005.1 _2 20 |
||
| 092 | _a005.1 JON | ||
| 100 |
_aJones, C. B. _q (Cliff B.), _d 1944- |
||
| 245 |
_a Systematic software development using VDM / _cCliff B. Jones. |
||
| 260 |
_aEnglewood Cliffs, N.J. : _bPrentice Hall International, _c c1986. |
||
| 300 |
_axvi, 300 p. : _bill. ; _c 24 cm. |
||
| 440 | _aPrentice-Hall International series in computer science | ||
| 500 | _aIncludes index. | ||
| 504 | _aBibliography: p. 294-296. | ||
| 650 |
_aComputer software _x Development. |
||
| 740 | _aVDM. | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c543155 _d543155 |
||