Logo

The Z Notation: A Reference Manual

Small book cover: The Z Notation: A Reference Manual

The Z Notation: A Reference Manual
by

Publisher: Prentice Hall
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
(800KB, PDF)

Similar books

Book cover: Introduction to Programming LanguagesIntroduction to Programming Languages
- Wikibooks
This book is an attempt to describe a bit of the programming languages zoo. We use each of the particular languages to introduce fundamental notions related to the design and the implementation of general purpose programming languages.
(9077 views)
Book cover: Categories, Types, and StructuresCategories, Types, and Structures
by - MIT Press
Here is an introduction to category theory for the working computer scientist. It is a self-contained introduction to general category theory and the mathematical structures that constitute the theoretical background.
(18197 views)
Book cover: Compositional SemanticsCompositional Semantics
by - UMass Amherst
Contents: Basic Categorial Syntax; Shortcomings of Standard Categorial Syntax; Expanded Categorial Syntax; Examples of Expanded Categorial Syntax; Categorial Logic; Basic Categorial Semantics; Lambda-Abstraction; Expanded Categorial Semantics; etc.
(14949 views)
Book cover: Reasoned ProgrammingReasoned Programming
by - Prentice Hall Trade
The text for advanced undergraduate/graduate students of computer science. It introduces functional, imperative and logic programming and explains how to do it correctly. Functional programming is presented as a programming language in its own right.
(12384 views)