Way of Z : practical programming with formal methods
By: Jacky, Jonathan.
Material type:
BookPublisher: Cambridge Cambridge University Press 1997Description: xviii, 350 p. ill. 24 cm.ISBN: 0521559766.Subject(s): Formal methods (Computer science) | Z (Computer program language)DDC classification: 005.12
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.12 JAC (Browse shelf) | Available | 020054 |
Browsing DAIICT Shelves Close shelf browser
| 005.12 HER Computer systems : theory, technology, and applications | 005.12 HIG Agile project management : creating innovative products | 005.12 HOF Modern Systems Analysis and Design | 005.12 JAC Way of Z : practical programming with formal methods | 005.12 JAC In-system configuration handbook : a designer's guide to ISC | 005.12 JUL Program Design | 005.12 JUL Program Design |
There are no comments for this item.