Free Shipping In Australia
Currency:
AUD $ AUD
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 http://www.comlab.ox.ac.uk/usingz.html

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

GOR001480091
Using Z : Specification, Refinement, and Proof
J. C. P. Woodcock
Used - Very Good
Paperback
Pearson Education (US)
1994-03-31
408
0139484728
9780139484728
N/A
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.