Understanding Z
| Author | : J. M. Spivey |
| Publisher | : Cambridge University Press |
| Total Pages | : 144 |
| Release | : 1988-03-31 |
| ISBN-10 | : 0521334292 |
| ISBN-13 | : 9780521334297 |
| Rating | : 4/5 (297 Downloads) |
Book Synopsis Understanding Z by : J. M. Spivey
Download or read book Understanding Z 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. 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.
Top