 |
|
|
Item Details
| Title:
|
USING Z
SPECIFICATION PROOF REFINEMENT |
| By: |
J. C. P. Woodcock, Jim Davies |
| Format: |
Paperback |
| List price:
|
£75.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0139484728 |
| ISBN 13: |
9780139484728 |
| Publisher: |
PEARSON EDUCATION (US) |
| Pub. date: |
22 March, 1996 |
| Pages: |
408 |
| Description: |
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. |
| Synopsis: |
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 |
| Publication: |
US |
| Imprint: |
Prentice Hall |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|