TY  - BOOK
AU  - Diller,Antoni
TI  - Z an introduction to formal methods
SN  - 0471939730
AV  - QA76.73.Z2 D55 1994
PY  - 1994///
CY  - New York
PB  - John Wiley
KW  - Z (Lenguaje de programacion para computadoras)
KW  - Métodos formales (Computación)
N1  - Incluye referencias bibliográficas
ER  -