|
|
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.
| ISBN | 0521334292 | | Pages | 144 | | ISBN13 | 9780521334297
(What's this?) | | Weight (grammes) | 380 | | Publisher | Cambridge University Press | | Published in | Cambridge | | Imprint | Cambridge University Press | | Series editor | van Rijsbergen, C. J. (University of Glasgow), van Rijsbergen, C. J. (University of Glasgow), van Ri | | Format | Hardback | | Series title | Cambridge Tracts in Theoretical Computer Science | | Publication date | 31 Mar 1988 | | Height (mm) | 247 | | Non-book description | viii, 131 p. ; | | Width (mm) | 174 | | Library of Congress | QA76.73.Z2 S65 1988 | | Spine width (mm) | 13 | | DEWEY | 005.133 | | Academic level | Professional / Scholarly | | DEWEY edition | DC19 | |
|
| |
Preface; 1. Introduction; 2. Basic concepts; 3. The semantics of Z; 4. Discussion; 5. Studies in Z style; References; Summary of notation; Index of definitions.
"The book is very well written and accurate, and the graphics are good." Computing Reviews "The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik  Be the first to write a customer review
|
|
|
|
|
Enlarge
