This title is both authoritative and comprehensive. It strikes the right balance between the formality of mathematics and the practical needs of industrial software development. It is faithful to the draft ISO standard for Z. It covers the essentials of specification, refinement, and proof, revealing techniques never previously published.
This book is based upon the experience of the authors in teaching Z to a wide variety of audiences. Many of their students have produced large, industrial specifications in Z; some have even produced their own textbooks.