Systematic software development using VDM
By: Cliff B. Jones
Edition: 2nd ed
Series: Prentice Hall international series in computer science; Prentice-Hall international series in computer science
Publisher: Prentice Hall International
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 333
Subjects: Computer software -- Development
Notes: Includes index

Includes bibliographical references (p. 321-322)