International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin)
[TAPSOFT ྑ : theory and practice of software development : proceedings]
- Berlín : [S.n.], c1985
- 2 v. ; 24 cm.
- Lecture notes in computer science ; 185-186 .
"Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Vol. 1. Colloquium on Trees in Algebra and Programming (CAAP '85)" -en portada. -- "Formal methods and software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE)" -en portada.