Formal Specification using Z, Paperback / softback Book

Formal Specification using Z Paperback / softback

Part of the Grassroots series


Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity.

Z is a leading notation for formal specification. Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering.

It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered.

Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.


  • Format: Paperback / softback
  • Pages: 176 pages, 176 p.
  • Publisher: Palgrave Macmillan
  • Publication Date:
  • Category: Applied mathematics
  • ISBN: 9780333763278

Other Formats



Free Home Delivery

on all orders

Pick up orders

from local bookshops

Also in the Grassroots series   |  View all