Share
Understanding z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science) (in English)
J Spivey (Author)
·
Cambridge University Press
· Paperback
Understanding z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science) (in English) - J Spivey
$ 40.25
$ 44.99
You save: $ 4.74
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Wednesday, June 19 and
Thursday, June 20.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Understanding z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science) (in English)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.