Understanding Z : a specification language and its formal semantics / J.M. Spivey.

By: Spivey, J. M
Series: Cambridge tracts in theoretical computer science: 3.Publisher: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988Description: viii, 131 p. ; 26 cm.4ISBN: 0521334292Subject(s): Z (Computer program language) | Programming languages (Electronic computers) -- SemanticsDDC classification: 005.13/3 LOC classification: QA76.73.Z2 | S65 1988
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Home library Call number Status Date due Barcode Item holds
Circulation Sibalom
Sibalom
Circulation 		005.133 S761 1988 (Browse shelf) Available UAMAIN 3966
Total holds: 0

Bibliography: p. [119]-122.

Includes index.

There are no comments for this item.

to post a comment.