Kostenloser Versand
Bequem zahlen
Wir sind gerne für Sie daThe 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.
Produkteigenschaften
- Artikelnummer: 9780521054140
- Medium: Buch
- ISBN: 978-0-521-05414-0
- Verlag: Cambridge University Press
- Erscheinungstermin: 24.11.2007
- Sprache(n): Englisch
- Auflage: Erscheinungsjahr 2007
- Serie: Cambridge Tracts in Theoretical Computer Science
- Produktform: Kartoniert, Paperback
- Gewicht: 256 g
- Seiten: 139
- Format (B x H x T): 170 x 244 x 8 mm
- Ausgabetyp: Kein, Unbekannt