Welcome to E-Books Directory
This is a freely downloadable e-book.

The Z Notation: A Reference Manual

The Z Notation: A Reference Manual
by J. M. Spivey

Publisher: Prentice Hall 1992
ISBN/ASIN: 0139785299
ISBN-13: 9780139785290
Number of pages: 168

The standard Z notation for specifying and designing software has evolved over the best part of a decade. This an informal but rigorous reference manual is written with the everyday needs of readers and writers of Z specifications in mind.

Home page url

Download or read it online here:

Download link

 (multiple formats)