Formal methods and software development
By: Colloquium on Software Engineering (CSE) ; edited by Hartmut Ehrig ... [et al.].
Contributors: Ehrig, Hartmut.
Series: Lecture notes in computer science -- 186.; Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 -- v. 2.
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 455
Subjects: Computer software -- Development -- Congresses.
Genres: Congresses.
Notes: Includes bibliographies and index.