[TAPSOFT ྑ : theory and practice of software development : proceedings]
International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin)
[TAPSOFT ྑ : theory and practice of software development : proceedings] - Berlí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.
3540151982 (v.1)
DIF007896
DESARROLLO DE SOFTWARE
REUNIONES
[TAPSOFT ྑ : theory and practice of software development : proceedings] - Berlí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.
3540151982 (v.1)
DIF007896
DESARROLLO DE SOFTWARE
REUNIONES