TY - BOOK T1 - [TAPSOFT ྑ : theory and practice of software development : proceedings] T2 - Lecture notes in computer science ; 185-186 A1 - International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin) A2 - Colloquium on Trees in Algebra and Programming (1er : 1985 : Berlin) A2 - Colloquium on Software Engineering (1er : 1985 : Berlin) A2 - Ehrig, Hartmut LA - English PP - Berlín PB - [S.n.] YR - 1985 UL - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.58139 NO - "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. SN - 3540151982 (v.1) KW - DESARROLLO DE SOFTWARE KW - REUNIONES ER -