Image from Amazon.com
The way of Z: practical programming with formal methods Jonathan Jacky
Publication details: Cambridge Cambridge University press 1997Description: xviii, 350pISBN:- 9 780521 559768
- 004.43 JAC
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Department of Computer Application | 004.43 JAC (Browse shelf(Opens below)) | Available | CA000463 |
Browsing Department of Computer Application shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available |
|
No cover image available |
|
|
||
| 004.43 INT Programmable logic/ | 004.43 J 2 BRO J2EE best practices : | 004.43 J 2 BRO J2EE best practices : | 004.43 JAC The way of Z: practical programming with formal methods | 004.43 J AND Java for business | 004.43 J ARN The Java programming language second edition / | 004.43 J BAL Bluetooth application programming with the Java APIs / |
There are no comments on this title.