Understanding Z : a specification language and its formal semantics
By: Spivey, J. M.
Material type:
BookSeries: Cambridge tracts in theoretical computer science ; 3. Publisher: Cambridge Cambridge University Press 1988Description: viii,131p.ISBN: 0521334292.Subject(s): Z (Computer Program Language) | Programming Language (Electronic Computers) -- SemanticsDDC classification: 001.6424 | Sp49u
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.6424 Sp49u (Browse shelf) | Book Request | Available | A102447 |
Total holds: 0
There are no comments for this item.