Understanding Z : a specification language and its formal semantics
Spivey, J.M.
Understanding Z : a specification language and its formal semantics [Books]. - Cambridge Cambridge University Press 1988 - Pages: 131
0521334292 0.00
Programming languages (Electronic computers) -- Semantics.
Z (Computer program language)
QA/76.73.Z2 / SPI
Understanding Z : a specification language and its formal semantics [Books]. - Cambridge Cambridge University Press 1988 - Pages: 131
0521334292 0.00
Programming languages (Electronic computers) -- Semantics.
Z (Computer program language)
QA/76.73.Z2 / SPI