The VDM-SL reference guide
By: John Dawes.
Publisher: Pitman
Published: 1991
Place of publication: London
Language: eng
Number of pages: 217
Subjects: Computer software -- Development.
Other titles: V.D.M.-S.L. reference guide.; Vienna Development Method Specification Lanugage reference guide.
Notes: Includes index.