VDM '90
Subtitle: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings
By: D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
Contributors: Bjørner, D. 1937-; Hoare, C. A. R. 1934-; Langmaack, Hans.
Series: Lecture notes in computer science -- 428
Publisher: Springer-Verlag
Published: 1990
Place of publication: Berlin; New York
Language: eng
Number of pages: 579
Subjects: Computer software -- Development -- Congresses.
Other titles: VDM ninety.
Notes: Includes bibliographical references and index.