Understanding Z
Download or Read eBook Understanding Z PDF written by J. M. Spivey and published by Cambridge University Press. This book was released on 1988-03-31 with total page 144 pages. Available in PDF, EPUB and Kindle.
Author | : J. M. Spivey |
Publisher | : Cambridge University Press |
Total Pages | : 144 |
Release | : 1988-03-31 |
ISBN-10 | : 0521334292 |
ISBN-13 | : 9780521334297 |
Rating | : 4/5 (92 Downloads) |
Book Synopsis Understanding Z by : J. M. Spivey
Book excerpt: 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.