|
|
|
Aimed primarily at first year students studying for degrees and HNDs in computing, second year students and others interested in more advanced aspects of the subject, this book aims to provide a thorough introduction to the specification language Z. The emphasis is on the practical application of this language to the modelling, specification and implementation of systems. Various case studies are explored and their specifications explained. The book aims to be "student-friendly", with many examples and a full set of exercises and answers for each chapter.
| ISBN | 041255660X | | Volumes | 1 | | ISBN13 | 9780412556609
(What's this?) | | Weight (grammes) | 358 | | Publisher | Cengage Learning EMEA | | Published in | London | | Imprint | Thomson Learning | | Series editor | Howe, David, Campbell-Kelly, Martin | | Format | Paperback | | Series title | Tutorial Guides in Computing & Information Systems | | Publication date | 01 Jul 1994 | | Height (mm) | 246 | | Library of Congress | 00000000 | | Width (mm) | 189 | | DEWEY | 005.133 | | Spine width (mm) | 12 | | DEWEY edition | DC20 | | Academic level | Undergraduate | | Pages | 208 | |
|
| |
| | | Preface | | | | 1 | | Sets | | 1 | | 2 | | Propositions and further sets | | 10 | | 3 | | Schemas | | 27 | | 4 | | Predicates | | 41 | | 5 | | Relations | | 47 | | 6 | | Functions | | 60 | | 7 | | Sequences | | 72 | | 8 | | Specifying functions | | 83 | | 9 | | Modelling | | 96 | | 10 | | Case study | | 104 | | 11 | | Schema operators | | 117 | | 12 | | Pre-condition analysis | | 125 | | 13 | | Implementation | | 135 | | 14 | | Epilogue | | 150 | | | | Answers to exercises | | 156 | | | | List of symbols | | 186 | | | | Index | | 188 |
|
|
|
|
|
Enlarge
