[TAPSOFT ྑ : theory and practice of software development : proceedings]
Material type:
TextSeries: Lecture notes in computer science ; 185-186Publication details: Berlín : [S.n.], c1985Description: 2 v. ; 24 cmISBN: - 3540151982 (v.1)
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | A.0.2 TAP85 v.1 (Browse shelf(Opens below)) | Available | DIF-00639 | ||
|
Libro
|
Biblioteca de la Facultad de Informática | A.0.2 TAP85 v.2 (Browse shelf(Opens below)) | Available | DIF-00638 |
"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.