Goodreads helps you keep track of books you want to read.
Start by marking “The Way of Z: Practical Programming with Formal Methods” as Want to Read:
The Way of Z: Practical Programming with Formal Methods
This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerni ...more
Published October 29th 2010 by Cambridge University Press
(first published November 28th 1996)
To see what your friends thought of this book, please sign up.