Z an introduction to formal methods
By: Diller, Antoni.
Material type: TextPublisher: New York : John Wiley , 1990Description: xxi,309 p. ; ill. ; 25 cm.ISBN: 9780471924890.Subject(s): Computer science | Computer systems | programming Language | Z languageDDC classification: 005.133Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Lending Materials | Main Library Lending Division | Lending Collection | 005.133 DIL (Browse shelf) | 1 | Available | 188793 |
Total holds: 0
There are no comments for this item.