VDM '91
Subtitle: formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
By: S. Prehn, H. Toetenel (eds.).
Contributors: Prehn, S. 1955-; Toetenel, W. J., 1953-
Series: Lecture notes in computer science -- 551-552
Publisher: Springer-Verlag
Published: 1991
Place of publication: Berlin; New York
Language: eng
Number of pages: 698
Subjects: Computer software -- Development -- Congresses.
Notes: Includes index.

Includes bibliographical references.
Table of contents: value: v. 1. Conference contributions; value: v. 2. Tutorials.