| 000 | 00539nam a2200205Ia 4500 | ||
|---|---|---|---|
| 999 |
_c47460 _d47460 |
||
| 005 | 20190815110803.0 | ||
| 008 | 180612s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a138807337 | ||
| 041 | _aen | ||
| 082 | _a1.6425 | ||
| 100 |
_aJones, C.B. _9295 |
||
| 245 | 0 | _aSystematic Software Development Using VDM | |
| 250 | _a2nd ed | ||
| 260 |
_aNewyork _bPrentice Hall _c1990 |
||
| 300 | _axiv, 333p | ||
| 650 |
_aSystematic Software Development _91685 |
||
| 650 |
_aSoftware Development _91686 |
||
| 650 |
_aVDM _91687 |
||
| 942 |
_cPR _2ddc |
||