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 of programs using Z.
Read More
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 of programs using Z.
Read Less
Add this copy of Using Z: Specification, Refinement, and Proof (Prentice to cart. $77.37, new condition, Sold by Just one more Chapter rated 4.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1996 by Prentice Hall.
Add this copy of Using Z: Specification, Refinement, and Proof (Prentice to cart. $102.22, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1996 by Prentice Hall.
