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: Implementing Functional Languages: a tutorialImplementing Functional Languages: a tutorial
by - Prentice Hall
This book gives a practical approach to understanding implementations of non-strict functional languages using lazy graph reduction. It is intended to be a source of practical material, to help make functional-language implementations come alive.
(8266 views)
Book cover: Programming and Programming LanguagesProgramming and Programming Languages
by - Brown University
Many people would regard this as being two books in one. One book is an introduction to programming, teaching you basic concepts of organizing data and the programs that operate over them. The other book is an introduction to programming languages.
(3535 views)
Book cover: Lectures on the Curry-Howard IsomorphismLectures on the Curry-Howard Isomorphism
by - Elsevier Science
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
(6715 views)
Book cover: Anatomy of Programming LanguagesAnatomy of Programming Languages
by - 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.
(3668 views)