Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
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
ISBN13:9780139484728
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
1 rating
Well-Written Z Book, easy to read, great course book.
Published by Thriftbooks.com User , 16 years ago
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.
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
