TY - BOOK AU - International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin) AU - Colloquium on Trees in Algebra and Programming (1er : 1985 : Berlin) AU - Colloquium on Software Engineering (1er : 1985 : Berlin) AU - Ehrig,Hartmut TI - [TAPSOFT ྑ: theory and practice of software development : proceedings] T2 - Lecture notes in computer science ; 185-186 SN - 3540151982 (v.1) PY - 1985/// CY - Berlín PB - [S.n.] KW - DESARROLLO DE SOFTWARE KW - REUNIONES N1 - "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 ER -