Image from Amazon.com
The Way of Z: Practical Programming with Formal Methods Jonathan, Jacky
Material type:
TextPublication details: New York: Cmbridge University Press, c1997. Description: xviii, 350 p.: illISBN: 0521559766DDC classification: 005.12
| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Reference Books
|
Don Bosco Institute of Technology Library Reference | Computer Science | 005.12 JAC/WAY (Browse shelf(Opens below)) | Not for loan | 1779 |
Browsing Don Bosco Institute of Technology Library shelves, Shelving location: Reference, Collection: Computer Science Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.117 JAA/TRI Tried & True Object Development : Practical Approaches with UML / | 005.12 BEN/OBJ Object-Oriented Systems Analysis and Design using UML | 005.12 BEN/OBJ Object-Oriented Systems Analysis And Design Using UML | 005.12 JAC/WAY The Way of Z: Practical Programming with Formal Methods | 005.133 AND/CRP C++ Programming | 005.133 AST/COM A Computer Science Tapestry: Exploring Programming and Computer Science with C++/ | 005.133 BAR/BEG Beginnig Java Objects: From Concepts to Code/ |
This book is having bibliography328-339 from page
There are no comments on this title.