Free Shipping In the UK
Z. By Antoni Diller

by Antoni Diller

In Stock
This text is about the formal specification language Z suitable for courses on Z and formal methods at first and second year undergraduate level. The book includes a tutorial introduction covering the basic mathematics of Z and provides four specification case studies.
Only 1 left

Z. Summary

Z.: An Introduction to Formal Methods by Antoni Diller

This book is about the formal specification language Z. It is based on two lecture courses given in the School of Computer Science at the University of Birmingham. Given its origins this book can be used as a textbook for courses on Z and formal methods at first and second year undergraduate level. This book is divided into seven parts. Part 1 contains a single chapter which aims to explain what Z is and why it is a good method for specifying software components. Part 2 is a tutorial introduction to Z which covers the basic mathematicl toolkit of Z and the fundamental ideas of the schema calculus and part 3 looks at methods of reasoning. Part 4 contains four specification case studies: two small ones and two fairly large ones. The two small ones are of the bill of materials problem and of a simple route planner. The two large case studies are of a display-orientated text-editor based on Sufrin's specification and of Wing's library problem. Part 5 looks at how a Z specification can be animated using a high level modern functional programming language and Prolog. Part 6 is a reference manual of all the most frequently used Z notations and Part 7 consists of two appendices as well as an annotated bibliography which contains many pointers into the ever-increasing literature on Z.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the UK
Read more here
Every used book bought is one saved from landfill

Table of Contents

Part 1 the philosophy of formal methods: what is Z?; fundamental abstraction methods; the advantages of Z. Part 2 tutorial introduction: first order logic; set theory; relations and schemas; cartesian products and relations; schemas; more about relations and schemas; functions; sequences; bags; free types. Part 3 methods of reasoning: formal proof; rigorous proof; reification and decomposition. Part 4 case studies: two small case studies; wing's library problem; the specificatoin of a text-editor. Part 5 specification animation: animation using prolog. Part 6 reference manual: definitions and boxes; first-order logic; set theory; relations; functions; sequences; bags; rules and obligations. Part 7 appendices: variable conventions; answers to exercises.

Additional information

Z.: An Introduction to Formal Methods by Antoni Diller
Antoni Diller
Used - Very Good
John Wiley and Sons Ltd
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.