 | |
| |
The Way of Z : Practical Programming with Formal Methods
 |
Author: Jonathan Jacky
List Price: $35.00
Our Price: Click to see the latest and low price
ISBN: 0521559766
Publisher: Cambridge University Press (28 November, 1996)
Edition: Hardcover
Average Customer Rating: 5 out of 5
|
Customer ReviewsRating: 5 out of 5
A Great Introduction To Z.
This book is the first book I've read on Z or formal methods. It's very easy to read and understand, and replete with Z examples. I recommend it to anyone who's interested in learning Z.
Rating: 5 out of 5
Very helpful!
The thing I found most helpful about this book is that the author presents Z in comparison to things that we are already (probably) familiar with: data flow diagrams, state charts, etc. He shows the difference between Z and these things, and walks you through a comparison of one system using all 4 different methods.
Rating: 5 out of 5
An outsandingly clear and comprehensive text.
There are many good books on how to construct, verify, and establish actual program code using Z. I have read bits and pieces of many in an attempt to gain a general understanding of the whole development process and a breadth of approaches taken to it. I cannot say that I have come accross a book even approaching The Way of Z in both clarity and completeness. Dr. Jacky has left nothing out of this text and it reads extremely smoothly (without the sacrifice of complexity). I recommend it to any Formal Methods student, programmer and anyone interested in the formal specification, verification, and implementation process.
Similar Products
· A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)
· Essence of Discrete Mathematics
· Designing from Both Sides of the Screen: How Designers and Engineers Can Collaborate to Build Cooperative Technology
· The Art of UNIX Programming
· Understanding Formal Methods
| | | | | |
| |
