| 000 | 00587nam a22002057a 4500 | ||
|---|---|---|---|
| 999 |
_c161597 _d161596 |
||
| 005 | 20220720091645.0 | ||
| 008 | 220322b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780138807337 | ||
| 041 | _aEN | ||
| 082 |
_223 _a005 _bJON |
||
| 100 | _aJones, Cliff B. | ||
| 245 |
_aSystematic software development using VDM _c/ Cliff B. Jones |
||
| 250 | _a2nd ed. | ||
| 260 |
_aNew york _bPrentice hall International (UK) Ltd _cn.d. |
||
| 300 | _axiv, 333 p. | ||
| 500 | _aIncludes bibliography and index. | ||
| 509 | _aNS | ||
| 650 | 4 |
_93820 _aComputer software - Development |
|
| 942 | _cS | ||