001.6424 / Sp49u
Spivey, J. M.
Understanding Z : a specification language and its formal semantics
/ J. M. Spivey
.- Cambridge: Cambridge University Press, 1988
.- viii,131p.
.- ( Cambridge tracts in theoretical computer science 3
ISBN: 0521334292
Subject Headings:
Z (Computer Program Language);
Programming Language (Electronic Computers) -- Semantics;
Copy Details:
Acc. No.: A102447, Full Call No.: 001.6424 Sp49u, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------