Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
Series: Prentice-Hall international series in computer sciencePublisher: London ; New York : Prentice Hall, 1996Description: ix, 386 p. : ill. ; 24 cmISBN: 0139484728 (pbk. : alk. paper)Subject(s): Z (Computer program language)DDC classification: 005.12,WOO| Item type | Current location | Home library | Shelving location | Call number | URL | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|---|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.12,WOO (Browse shelf) | Link to resource | Available | Almirah No.4, Shelf No.1 | MCS37041 | ||
|
Book
|
Military College of Signals (MCS) | Military College of Signals (MCS) | General Stacks | 005.12,WOO (Browse shelf) | Link to resource | Available | Almirah No.4, Shelf No.1 | MCS37042 |
Browsing Military College of Signals (MCS) shelves, Shelving location: General Stacks Close shelf browser
Introduction (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).
Click on an image to view it in the image viewer
There are no comments on this title.