Free Shipping In Australia
Using Z By J. C. P. Woodcock

Using Z
by J. C. P. Woodcock

In Stock
inc. GST
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.
Only 1 left

Using Z Summary

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

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

Table of Contents

  1. Introduction.
  2. Propositional Logic.
  3. Predicate Logic.
  4. Equality and Definite Description.
  5. Sets.
  6. Definitions.
  7. Relations.
  8. Functions.
  9. Sequences.
  10. Free Types.
  11. Schemas Schema Operators.
  12. Promotion, Preconditons.
  13. Data Refinement.
  14. Relaxing and Unwinding Data Refinement and Z.
  15. Applications of Data Refinement.
  16. The Refinement Calculus.
  17. A File System.
  18. A Telecommunications Protocol.
  19. An Operating System Scheduler: A Bounded Buffer Module.
  20. An Unordered Set Module.
  21. A Save Area.
  22. Solutions to Exercises.
  23. Appendices.
  24. Bibliography.
  25. Index.

Additional information

Using Z: Specification Proof Refinement by J. C. P. Woodcock
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.