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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 001.6424 Sm63b BASIC HYDRAULICS | 001.6424 Sn52i The interface description language: definition and use | 001.6424 So68p PROGRAMMER'S ANSI COBOL REFERENCE MANUAL | 001.6424 Sp49u Understanding Z : a specification language and its formal semantics | 001.6424 Sp86 COMPUTING WITH COBOL | 001.6424 Sr31p PROGRAMMING WITH PASCAL | 001.6424 Sr31p PROGRAMMING WITH PASCAL |
There are no comments for this item.