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

Series: Cambridge tracts in theoretical computer sciencePublisher: Cambridge University Press, ; 1988Description: viii, 131 pISBN: 0-521-33429-2Subject(s): Programming languages (Electronic computers) -- SemanticsDDC classification: 005.133 S761 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 Collection Call number Status Date due Barcode Item holds
Book Book Sibalom
Sibalom
MCIR 		Main-Circulation 005.133 S761 1988 (Browse shelf) Available UAMAIN 3966
Total holds: 0

001 Generalities

There are no comments for this item.

to post a comment.