000 00688nam a2200241 a 4500
003 AR-LpUFIB
005 20250311170143.0
008 230201s1990 xxu r 000 0 eng d
020 _a0138807337
024 8 _aDIF-M525
_b528
_zDIF000527
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aJones, Cliff B.
245 1 0 _aSystematic software development using VDM
250 _a2nd ed.
260 _aNueva York :
_b[S.n.],
_cc1990
300 _axiv, 333 p. ;
_c23 cm.
490 0 _aPrentice Hall International series in computer science
500 _aIncluye bibliografía.
650 4 _aDESARROLLO DE SOFTWARE
650 4 _aMÉTODOS FORMALES
650 4 _aVDM
942 _cBK
999 _c50506
_d50506