Using Z: Specification, Refinement, and Proof

Front Cover
Prentice Hall, 1996 - Computers - 386 pages
This book covers all aspects of the Z notation, including specification, rigorous and formal proof, and refinements into code. It sets out to explain the principles and practice of formal development of programs using Z.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


Propositional Logic
Predicate Logic

23 other sections not shown

Common terms and phrases

About the author (1996)

Jim Davies is an author and columnist for design magazines and national newspapers in the UK. He is the editor of the newsletter and website for the writing group, 26. John Simmons is the author of the Writer's Materials trilogy comprised of "Dark Angels, The Invisible Grail," and "We, Me, Them & It," He is the cofounder of the writing group, 26, and has edited two of their works--"26 Letters" and "From Here to Here," Rob Williams is the Creative Director at Penguin UK and the editor of "Common Ground," He is a contributing member to 26.

Bibliographic information