Introduction to VDM / Mark Woodman and Benedict Heal.
Woodman, Mark.
Introduction to VDM / Mark Woodman and Benedict Heal. - London ; New York : McGraw Hill Book Co., c1993. London ; New York : McGraw Hill Book Co., c1993. - xiii, 240 p. : ill. ; 25 cm.
0077074343
Computer software -- Development.
Introduction to VDM / Mark Woodman and Benedict Heal. - London ; New York : McGraw Hill Book Co., c1993. London ; New York : McGraw Hill Book Co., c1993. - xiii, 240 p. : ill. ; 25 cm.
0077074343
Computer software -- Development.