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

£48.99

£44.89

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also in the Grassroots series   |  View all