Systematic software development using VDM
By: Cliff B. Jones.
Series: Prentice-Hall International series in computer science
Publisher: Prentice Hall International
Published: 1986
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 300
Subjects: Computer software -- Development.
Other titles: VDM.
Notes: Bibliography: p. 294-296.
Includes index.