The Z notation : a reference manual

Author(s)

• Spivey, J. M.

Bibliographic Information

The Z notation : a reference manual

J. M. Spivey ; based on the work of J. R. Abrial ... [et al.]

（Prentice-Hall International series in computer science）

Prentice Hall, c1992

2nd ed

Note

Includes index

Description and Table of Contents

Description

This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.

Table of Contents

• Tutorial introduction
• background
• the Z language
• the mathematical tool-kit
• sequential systems
• syntax summary.

by "Nielsen BookData"

Details

• NCID: BA18337529
• ISBN:
  • 0139785299
• LCCN: 92006090
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xi, 158 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.73.Z2
  • DC20 : 005.1/1
• Subject Headings:
  • LCSH : Z (Computer program language)
• Parent Bibliography ID:
  • BA00010507