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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------