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: Proofs and TypesProofs and Types
by - Cambridge University Press
This little book comes from a short graduate course on typed lambda-calculus given at the Universite Paris. It is not intended to be encyclopedic and the selection of topics was really quite haphazard. Some very basic knowledge of logic is needed.
(12402 views)
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.
(5849 views)
Book cover: Semantics: Advances in Theories and Mathematical ModelsSemantics: Advances in Theories and Mathematical Models
by - InTech
The book is a blend of a number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; etc.
(5481 views)
Book cover: The Design and Implementation of Probabilistic Programming LanguagesThe Design and Implementation of Probabilistic Programming Languages
by - dippl.org
This book explains how to implement PPLs by lightweight embedding into a host language. We illustrate this by designing WebPPL, a small PPL embedded in Javascript. We show how to implement several algorithms for universal probabilistic inference.
(2117 views)