000 | 00550nam a2200193Ia 4500 | ||
---|---|---|---|
999 |
_c39480 _d39480 |
||
005 | 20210120135239.0 | ||
008 | 180712s9999 xx 000 0 und d | ||
020 | _a138807175 | ||
041 | _aEN | ||
082 |
_a005.1 _bJON _223 |
||
100 | _aJones, Cliff B. | ||
245 |
_aSystematic software development using Vdm _c/ Cliff B. Jones |
||
260 |
_aNew Jersey _bPrentice-Hall/ International _c1986 |
||
300 | _axvi, 300 p. | ||
500 | _aIncludes appendix, glossary and index. | ||
509 | _aNS | ||
650 | _aComputer software-Development | ||
942 | _cS |