**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

**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.

(

**7340**views)

**A Practical Theory of Programming**

by

**Eric C.R. Hehner**-

**Springer**

Understanding programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. It describes a simple and comprehensive theory.

(

**8390**views)

**Anatomy of Programming Languages**

by

**William R. Cook**-

**UT Austin**

This document is a series of notes about programming languages, originally written for students of the undergraduate programming languages course at UT. It assumes knowledge of programming, and in particular assume basic knowledge of Haskell.

(

**2413**views)

**Formal Syntax and Semantics of Programming Languages**

by

**Kenneth Slonneger, Barry L. Kurtz**-

**Addison Wesley Longman**

The book presents the typically difficult subject of formal methods in an informal, easy-to-follow manner. Readers with a basic grounding in discreet mathematics will be able to understand the practical applications of these difficult concepts.

(

**9631**views)