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