| 000 | 01344 a2200217 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20220810184012.0 | ||
| 010 | _a 96004347 | ||
| 020 | _a0139484728 (pbk. : alk. paper) | ||
| 040 | _cNust | ||
| 082 | 0 | 0 | _a005.12,WOO |
| 100 | 1 |
_aWoodcock, Jim. _996769 |
|
| 245 | 1 | 0 |
_aUsing Z : _bspecification, refinement, and proof / _cJim Woodcock and Jim Davies. |
| 260 |
_aLondon ; _aNew York : _bPrentice Hall, _c1996. |
||
| 300 |
_aix, 386 p. : _bill. ; _c24 cm. |
||
| 440 | 0 |
_aPrentice-Hall international series in computer science _994214 |
|
| 505 | _aIntroduction (Page-1), Propositional Logic (Page-9), Predicate Logic (Page-27),Equality and Definite Description (Page-45), Set (Page-57), Definitions (Page-73), Relations (Page-83), Functions (Page-99), Sequences (Page-115), Free Types (Page-133), Sachems (Page-147), Schema Operators (Page-165), Promotions (Page-185), Preconditions (Page-201),A file System (Page-217), Data Refinement (Page-233), Data Refinement and Sachems (Page-257), Functional Refinement (Page-283), Refinement Calculus (Page-2978), A telecommunications Protocol (Page-321), An Operating System Scheduler (Page-331), A Bounded Buffer Module (Page-347), A Save Area (Page-365). | ||
| 650 | 0 |
_aZ (Computer program language) _967537 |
|
| 700 | 1 |
_aDavies, Jim, _d1964- _996770 |
|
| 942 |
_2ddc _cBK _k005.12,WOO |
||
| 999 |
_c208650 _d208650 |
||