Using Z

Welcome to the web site for Using Z, a textbook for those interested in mathematical specification and design, written by ourselves, and first published in 1996 by Prentice Hall (ISBN 0-13-948472-8).

We have produced a set of resources to accompany the book: an on-line version of the text itself, plus slides, exercises, solutions , and quick-reference cards for each chapter.

You can also use these pages to contact us. If you'd like to order a copy of the book, we can recommend Amazon, or - if you're in the UK - Amazon UK; both sites claim that the book is readily available.

Jim Davies and Jim Woodcock

text slides exercises solutions cards contents