We a good story
Quick delivery in the UK

Understanding Z

- A Specification Language and its Formal Semantics

About Understanding Z

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780521054140
  • Binding:
  • Paperback
  • Pages:
  • 140
  • Published:
  • January 21, 2008
  • Dimensions:
  • 170x239x8 mm.
  • Weight:
  • 234 g.
Delivery: 1-2 weeks
Expected delivery: October 12, 2024

Description of Understanding Z

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.

User ratings of Understanding Z



Find similar books
The book Understanding Z can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.