TY  - BOOK
T1  - Understanding Z : a specification language and its fromal semantics
A1  - Spivey, J.M
LA  - English
PP  - Cambridge, United Kingdom
PB  - Cambridge University Press
YR  - 1989
ED  - [1st repr.]
UL  - https://colectivo.uloyola.es/Record/L55439
OP  - 131
SN  - 0521334292
KW  - Lenguajes de programación
KW  - Z
ER  -