Free shipping on orders over $99
Using Z

Using Z

Specification Proof Refinement

by Jim Davies and Jim Woodcock
Paperback
Publication Date: 27/12/1996

Share This Book:

 
$79.95
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.
ISBN:
9780139484728
9780139484728
Category:
Software Engineering
Format:
Paperback
Publication Date:
27-12-1996
Publisher:
Pearson Education (US)
Country of origin:
United States
Pages:
408
Dimensions (mm):
100x100x100mm
Weight:
0.1kg
Jim Davies

For over 30 years, Jim Davies has been fascinated by the First World War and the art of Matania.

His field trips to the old battlefields and own collection of Matania's art inspired him to write and share his love to a wider audience.

A retired airline pilot, he lives in Shropshire and still visits the battlefields on the Western Front today.

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Using Z.