VDM '87
Subtitle: VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
By: edited by D. Bjørner ... [et al.].
Contributors: Bjørner, D. 1937-; VDM-Europe.
Series: Lecture notes in computer science ;; 252
Publisher: Springer-Verlag
Published: 1987
Place of publication: Berlin; New York
Language: eng
Number of pages: 422
Subjects: Computer software -- Development -- Congresses.; Computer software industry -- European Economic Community countries -- Congresses.
Other titles: VDM, a formal method at work.
Notes: Includes bibliographies.