Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
 |
Title: The Way of Z : Practical Programming with Formal Methods by Jonathan Jacky ISBN: 0-521-55976-6 Publisher: Cambridge University Press Pub. Date: 28 November, 1996 Format: Paperback Volumes: 1 List Price(USD): $35.00 |
Average Customer Rating: 5 (3 reviews)
Rating: 5
Summary: A Great Introduction To Z.
Comment: 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
Summary: Very helpful!
Comment: 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
Summary: An outsandingly clear and comprehensive text.
Comment: 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.
 |
Title: Understanding Formal Methods by Michael G. Hinchey, Jean Francois Monin ISBN: 1852332476 Publisher: Springer Verlag Pub. Date: 17 January, 2003 List Price(USD): $64.95 |
 |
Title: Designing from Both Sides of the Screen: How Designers and Engineers Can Collaborate to Build Cooperative Technology by Ellen Isaacs, Alan Walendowski ISBN: 0672321513 Publisher: SAMS Pub. Date: 10 December, 2001 List Price(USD): $44.99 |
 |
Title: A Logical Approach to Discrete Math (Texts and Monographs in Computer Science) by David Gries, Fred B. Schneider ISBN: 0387941150 Publisher: Springer Verlag Pub. Date: 01 January, 1993 List Price(USD): $49.95 |
 |
Title: Model Checking by Edmund M. Clarke, Orna Grumberg, Doron A. Peled ISBN: 0262032708 Publisher: MIT Press Pub. Date: 07 January, 2000 List Price(USD): $58.00 |
 |
Title: The Object Constraint Language: Getting Your Models Ready for MDA, Second Edition by Jos Warmer, Anneke Kleppe ISBN: 0321179366 Publisher: Addison-Wesley Pub Co Pub. Date: 29 August, 2003 List Price(USD): $39.99 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
