|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170539.0 |
| 008 |
230201s1985 gw r 000 0 eng d |
| 020 |
|
|
|a 3540151982 (v.1)
|
| 024 |
8 |
|
|a DIF-M492
|b 495
|z DIF008371
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a International Joint Conference on Theory and Practice of Software Development (1ª : 1985 : Berlin)
|
| 245 |
1 |
0 |
|a [TAPSOFT ྑ :
|b theory and practice of software development : proceedings]
|
| 260 |
|
|
|a Berlín :
|b [S.n.],
|c c1985
|
| 300 |
|
|
|a 2 v. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Lecture notes in computer science ; 185-186
|
| 500 |
|
|
|a "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.
|
| 650 |
|
4 |
|a DESARROLLO DE SOFTWARE
|
| 650 |
|
4 |
|a REUNIONES
|
| 700 |
1 |
|
|a Colloquium on Trees in Algebra and Programming (1er : 1985 : Berlin)
|
| 700 |
1 |
|
|a Colloquium on Software Engineering (1er : 1985 : Berlin)
|
| 700 |
1 |
|
|a Ehrig, Hartmut
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A02_TAP85_V1
|7 0
|9 84713
|a DIF
|b DIF
|d 2006-07-17
|i DIF-00639
|l 0
|o A.0.2 TAP85 v.1
|p DIF-00639
|r 2025-03-11 17:05:39
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A02_TAP85_V2
|7 0
|9 84714
|a DIF
|b DIF
|d 2006-07-17
|i DIF-00638
|l 0
|o A.0.2 TAP85 v.2
|p DIF-00638
|r 2025-03-11 17:05:39
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 58139
|d 58139
|
