Amazon cover image
Image from Amazon.com

Formal specification using Z / David Lightfoot

By: Material type: TextTextPublication details: Basingstoke : Macmillan, 1991Description: xi,164p : ill ; 24cmISBN:
  • 9780333544082 pbk
  • 9780333544082 pbk
Subject(s): Summary: Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
General General ATU Dublin Road General Shelves 005.133 Z / LIG (Browse shelf(Opens below)) Available 037906

Includes index.

Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises.

There are no comments on this title.

to post a comment.
Share