Woodman, Mark.
Introduction to VDM / Mark Woodman and Benedict Heal. - London : McGraw-Hill, 1993. - xiii, 240 p. - McGraw-Hill International series in Software engineering. .
0077074343
Computer software--Development.
Introduction to VDM / Mark Woodman and Benedict Heal. - London : McGraw-Hill, 1993. - xiii, 240 p. - McGraw-Hill International series in Software engineering. .
0077074343
Computer software--Development.