| LEADER |
00914nam a2200265 i 4500 |
| 001 |
000000055439 |
| 003 |
CaOOAMICUS |
| 005 |
20000107174120.0 |
| 008 |
960620s1989 xuu 001 0 eng c |
| 020 |
|
|
|a 0521334292
|
| 040 |
|
|
|a ULA
|b spa
|
| 080 |
|
|
|a * 681.3
|
| 080 |
|
|
|a 681.3
|
| 100 |
1 |
|
|a Spivey, J.M
|4 aut.
|
| 210 |
1 |
0 |
|a Cambridge tracts in theoretical computer science
|v 3
|
| 245 |
1 |
0 |
|a Understanding Z :
|b a specification language and its fromal semantics /
|c J. M. Spivey
|
| 250 |
|
|
|a [1st repr.]
|
| 260 |
|
|
|a Cambridge, United Kingdom
|b Cambridge University Press
|c 1989
|
| 300 |
|
|
|a VIII, 131 p. ; 25 cm
|
| 650 |
|
7 |
|a Lenguajes de programación
|2 ula
|
| 650 |
|
7 |
|a Z
|2 ula
|
| 850 |
|
|
|a ULA
|
| 904 |
|
|
|a 1213
|b 11
|c Disponibilidad
|d Fecha
|t 55440
|j 9150 / 681.3 SPI und
|
| 952 |
|
|
|3 Libro
|a Loyola
|b LOYOLA SEVILLA
|c Almacén
|d 20-06-1996
|f 3
|b SPI und
|i 55440
|o 9150 / 681.3 SPI und
|p 55440
|q R. 30567
|
| 990 |
|
|
|a emil
|