Understanding Z : a specification language and its formal semantics /

Bibliographic Details
Main Author:	Spivey, J. M.
Format:	Book
Language:	English
Published:	Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988.
Series:	Cambridge tracts in theoretical computer science.
Subjects:	Z (Computer program language) Programming languages (Electronic computers) > Semantics.