Supporting your high street Find out how »
Basket Image


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



We're closed for now, but hopefully not for long…

You can still add items to your basket and wishlist but you won't be able to checkout.

Also in the Grassroots series   |  View all