Free Shipping In Australia
Using Z : Specification, Refinement, and Proof By J. C. P. Woodcock

Using Z : Specification, Refinement, and Proof
by J. C. P. Woodcock

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.

5 in stock

Using Z : Specification, Refinement, and Proof Summary

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

Additional information

Using Z : Specification, Refinement, and Proof
J. C. P. Woodcock
Used - Very Good
Pearson Education (US)
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.