logo
Supporting your high street Find out how »
Basket Image

Basket

Formal Specification using Z, Paperback / softback Book

Formal Specification using Z Paperback / softback

Part of the Grassroots series

Description

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.

Information

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

Other Formats

£53.99

£50.39

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