The way of Z : practical programming with formal methods
Publication details: Cambridge : Cambridge University Press 1996Description: xviii, 350 p. : illISBN: 0521550416; 0521559766Subject(s): Z (COMPUTER PROGRAM LANGUAGE) | FORMAL METHODS (COMPUTER SCIENCE)LOC classification: QA 76.73.Z2 JacOnline resources: Click here for electornic version| Item type | Home library | Call number | Materials specified | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
MONOGRAPH
|
CBU-MAIN LIBRARY, KITWE. | QA 76.73.Z2 Jac (Browse shelf(Opens below)) | 1 | Available | 021015 | ||
|
MONOGRAPH
|
CBU-MAIN LIBRARY, KITWE. | QA 76.73.Z2 Jac (Browse shelf(Opens below)) | 2 | Available | 021016 |
Browsing CBU-MAIN LIBRARY, KITWE. shelves Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
No cover image available | No cover image available | ||
| QA 76.73.W67 Urb A Quick course in WordPerfect 6 for Windows | QA 76.73.X75 Phi Using XML | QA 76.73.Z2 Jac The way of Z : practical programming with formal methods | QA 76.73.Z2 Jac The way of Z : practical programming with formal methods | QA 76.754 Lew Science and engineering programs for the timex/sinclair 1000 | QA 76.755 Mic Microsoft windows | QA 76.755 Mic Microsoft GW-BASIC interpreter |
Includes bibliographical references 
There are no comments on this title.