TY  - BOOK
AU  - Spivey,J.M.
TI  - Understanding Z: a specification language and its formal semantics 
SN  - 9780521054140
U1  - 005.13/3  19
PY  - 2008///
CY  - N.Y.
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Z (Computer program language)
KW  - Lập trình
KW  - Ngôn ngữ Z
KW  - Ngôn ngữ lập trình
ER  -