000 00484nam a2200205 a 4500
001 CS96000001
003 imported from koha2.9 by LV-2014
005 20160322165005.0
008 960221s1955 dcuabcdjdbkoqu001 0deng d
040 _CS
245 _aSystematic software development using Vdm
100 _aCliff B. Jones
500 _a
942 _cBK
020 _a0-13-880717-5
260 _a
_bPrentice-Hall
_c1986
300 _a300
082 _a004.415
250 _a
999 _c152142
_d152142