Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)

Spivey, J. M.

ISBN 10: 0521334292 / ISBN 13: 9780521334297

Published by Cambridge University Press, 1988

About this Item

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.

Seller Inventory # wbs6290490329

Bibliographic Details

• Title: Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
• Publisher: Cambridge University Press
• Publication Date: 1988
• Language: English
• ISBN 10: 0521334292
• ISBN 13: 9780521334297
• Binding: Hardcover
• Condition: Good

About this title

Synopsis

By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. It makes a detailed theoretical comparison between schemas, the Z construct for breaking specifications into modules, and the analogous facilities in other languages such as CLEAR and ASL. The final chapter contains a number of studies in Z style, showing that Z can be used for a wide variety of specification tasks.

Book Description

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.