Systematic software development using VDM /
Jones, C. B. 1944-
Systematic software development using VDM / Cliff B. Jones. - Englewood Cliffs, N.J. : Prentice Hall International, 1986 - xvi, 300 p. : ill. ; 24 cm. - Prentice-Hall International series in computer science .
Includes index.
Bibliography: p. 294-296.
0138807256 : $34.95 0138807175 (pbk.)
85031178
Computer software--Development.
QA76.76.D47 / J66 1986
005.1
Systematic software development using VDM / Cliff B. Jones. - Englewood Cliffs, N.J. : Prentice Hall International, 1986 - xvi, 300 p. : ill. ; 24 cm. - Prentice-Hall International series in computer science .
Includes index.
Bibliography: p. 294-296.
0138807256 : $34.95 0138807175 (pbk.)
85031178
Computer software--Development.
QA76.76.D47 / J66 1986
005.1