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  -