Understanding Z : a specification language and its formal semantics Spivey, J. M. - Cambridge University Press, 1988 - viii, 131 p. - Cambridge tracts in theoretical computer science .



0-521-33429-2


Programming languages (Electronic computers) -- Semantics.

005.133 S761 1988