[TAPSOFT ྑ : theory and practice of software development : proceedings]

Detalles Bibliográficos
Autor Principal: International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin)
Otros autores o Colaboradores: Colloquium on Trees in Algebra and Programming (1er : 1985 : Berlin), Colloquium on Software Engineering (1er : 1985 : Berlin), Ehrig, Hartmut
Formato: Libro
Lengua:inglés
Datos de publicación: Berlín : [S.n.], c1985
Series:Lecture notes in computer science ; 185-186
Temas:
Acceso en línea:Consultar en el Cátalogo
Notas:"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.
Descripción Física:2 v. ; 24 cm.
ISBN:3540151982 (v.1)