Understanding Z : A Specification Language and its Formal Semantics Paperback / softback
by J. M. (University of Oxford) Spivey
Part of the Cambridge Tracts in Theoretical Computer Science series
Paperback / softback
- Information
Description
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.
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:140 pages, Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:21/01/2008
- Category:
- ISBN:9780521054140
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:140 pages, Worked examples or Exercises
- Publisher:Cambridge University Press
- Publication Date:21/01/2008
- Category:
- ISBN:9780521054140