Understanding Z : a specification language and its formal semantics /
Spivey, J.M.
Understanding Z : a specification language and its formal semantics / J.M. Spivey. - N.Y. : Cambridge University Press, 2008 - 131 p. - Cambridge tracts in theoretical computer science. .
9780521054140
Programming languages (Electronic computers)
Z (Computer program language)
Lập trình Ngôn ngữ Z Ngôn ngữ lập trình
005.13/3 / SPI 2008
Understanding Z : a specification language and its formal semantics / J.M. Spivey. - N.Y. : Cambridge University Press, 2008 - 131 p. - Cambridge tracts in theoretical computer science. .
9780521054140
Programming languages (Electronic computers)
Z (Computer program language)
Lập trình Ngôn ngữ Z Ngôn ngữ lập trình
005.13/3 / SPI 2008
