[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 |
|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | A.0.2 TAP85 v.1 (Browse shelf(Opens below)) | Available | |
|
Libro
|
Biblioteca de la Facultad de Informática | A.0.2 TAP85 v.2 (Browse shelf(Opens below)) | Available |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
"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.