**The Z Notation: A Reference Manual**

by J. M. Spivey

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

**Description**:

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.

Download or read it online for free here:

**Download link**

(multiple formats)

## Similar books

**Type Systems for Programming Languages**

by

**Robert Harper**

Provides an account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.

(

**10901**views)

**Lecture Notes on the Lambda Calculus**

by

**Peter Selinger**-

**Dalhousie University**

Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, etc.

(

**4871**views)

**Dictionary of Programming Languages**

by

**Neal Ziring**

The Dictionary of Programming Languages is an online compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.

(

**7854**views)

**Practical Foundations for Programming Languages**

by

**Robert Harper**

This is a book on the foundations of programming languages. The emphasis is on the concept of type, which organizes the computational universe in the same way that the concept of set may be seen as an organizing principle for mathematics.

(

**10839**views)