Using Z

Using Z : Specification Proof Refinement

2.8 (5 ratings by Goodreads)
By (author)  , By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?


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 more

Product details

  • Paperback | 408 pages
  • 170 x 228 x 28mm | 680.4g
  • Pearson Education (US)
  • Prentice Hall
  • Upper Saddle River, United States
  • English
  • black & white illustrations
  • 0139484728
  • 9780139484728

Table of contents

Introduction. Propositional Logic. Predicate Logic. Equality and Definite Description. Sets. Definitions. Relations. Functions. Sequences. Free Types. Schemas Schema Operators. Promotion, Preconditons. Data Refinement. Relaxing and Unwinding Data Refinement and Z. Applications of Data Refinement. The Refinement Calculus. A File System. A Telecommunications Protocol. An Operating System Scheduler: A Bounded Buffer Module. An Unordered Set Module. A Save Area. Solutions to Exercises. Appendices. Bibliography. more

Rating details

5 ratings
2.8 out of 5 stars
5 0% (0)
4 40% (2)
3 0% (0)
2 60% (3)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X