Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
By: edited by Hartmut Ehrig ... [et al.].
Contributors: Ehrig, Hartmut.
Series: Lecture notes in computer science -- 185-186
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Subjects: Computer software -- Development -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and indexes.
Table of contents: value: v. 1. Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85); value: v. 2. Formal methods and software development / Colloquium on Software Engineering (CSE).