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 |
There are no comments for this item.