Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)

by Jim Woodcock, Jim Davies (cognitive scientist), Jim Davies

This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0139484728
• Release Date: January 1996
• Publisher: Prentice Hall
• Length: 386 Pages
• Weight: 1.32 lbs.
• Dimensions: 9.3" x 0.8" x 7.0"

Customer Reviews

Well-Written Z Book, easy to read, great course book.

It was my course book during my MSc Studies and the lecturer was one of the book writers (Jim Woodcock). Regardless, I found the book very easy to read, and inspired me to work with formal methods. All chapters have examples and the reader can use them to learn the basics on Z notation. By the end of the book you will be ready to write any Z code. It is not a Z book in practice or a Z book only for beginners, but a very good course and reference book.