000 00319nam a2200121Ia 4500
008 190711s9999 xx 000 0 und d
082 _a621.38196425 J77
100 _aJONES.C.B
245 0 _aSYSTEMATIC SOFTWARE DEVELOPMENT USING VDM
260 _aNew Jersey
_bPrentice Hall
_c1986
300 _a24X18
942 _cBK
_2DDC
999 _c21371
_d21371