Introduction to VDM
By: Mark Woodman and Benedict Heal.
Contributors: Heal, Benedict, 1944-
Series: McGraw-Hill international series in software engineering
Publisher: McGraw Hill Book Co.
Published: 1993
Place of publication: London; New York
Language: eng
Number of pages: 240
Subjects: Computer software -- Development.
Notes: Includes index.