|
|
|
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
| ISBN | 0471939730 | | Pages | 394 | | ISBN13 | 9780471939733
(What's this?) | | Volumes | 1 | | Publisher | John Wiley and Sons Ltd | | Weight (grammes) | 682 | | Imprint | John Wiley & Sons Ltd | | Published in | Chichester | | Format | Paperback | | Height (mm) | 249 | | Publication date | 03 May 1994 | | Width (mm) | 169 | | Library of Congress | QA76.73.Z2 | | Spine width (mm) | 23 | | DEWEY | 005.133 | | Academic level | Postgraduate, Professional / Scholarly | | DEWEY edition | DC20 | |
|
| |
| | | Preface | | | | | | Acknowledgements | | | | 1 | | Introduction | | 3 | | 1.1 | | What is Z? | | 3 | | 1.2 | | Specification Foretaste | | 5 | | 1.3 | | Numbers | | 7 | | 2 | | First-order Logic | | 9 | | 2.1 | | Propositional Calculus | | 9 | | 2.2 | | Predicate Calculus | | 23 | | 3 | | Set Theory | | 31 | | 3.1 | | Ways of Making Sets | | 31 | | 3.2 | | Relations between Sets (and their Members) | | 33 | | 3.3 | | Some Special Sets | | 34 | | 3.4 | | Operations on Sets | | 35 | | 4 | | Internal Telephone Directory | | 41 | | 4.2 | | Cartesian Products and Relations | | 42 | | 4.3 | | The State Space | | 43 | | 4.4 | | Adding an Entry to the Database | | 48 | | 4.5 | | Interrogating the Database by Person | | 55 | | 4.6 | | Interrogating the Database by Number | | 57 | | 4.7 | | Removing an Entry from the Database | | 59 | | 4.8 | | Someone Joining the University | | 60 | | 4.9 | | Someone Leaving the University | | 60 | | 4.10 | | Specifying a User-interface | | 62 | | 4.11 | | Presenting a Formal Specification | | 64 | | 5 | | More about Relations and Schemas | | 71 | | 5.1 | | Relations | | 71 | | 5.2 | | Schemas | | 77 | | | More... | | |
|
|
|
|
|
Enlarge
