Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /

Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 /

Saved in:

Bibliographic Details
Corporate Author:	International Joint Conference on Theory and Practice of Software Development, Berlin, Germany
Other Authors:	Ehrig, Hartmut
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1985.
Series:	Lecture notes in computer science ; 185 -186.
Subjects:	Programming languages > Semantics. Programming languages > Development. Computer software > Development > Congresses.

Table of Contents:

v. 1. Mathematical foundations of software development / Colloquium on Trees in Algebra and Programming (CAAP '85)
v. 2. Formal methods and software development / Colloquium on Software Engineering (CSE).