Using Z by Jim Woodcock

  •
1 1

Using Z by Jim Woodcock

Checking stock...
Checking stock...
Summary

Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation 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 feel-good place to buy books
  • Free delivery in Australia
  • Supporting authors with AuthorSHARE
  • 100% recyclable packaging
  • Proud to be a B Corp – A Business for good
  • Buy-back with Ziffit

Using Z by Jim Woodcock

Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation 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.

You might also like

SKU Unavailable
ISBN 13 9780139484728
ISBN 10 0139484728
Title Using Z
Author Jim Woodcock
Condition Unavailable
Binding Type Paperback
Publisher Pearson Education (US)
Year published 1996-03-22
Number of pages 408
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.