The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science)

By Mike Spivey and J.M. Spivey

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.

• Format: Paperback
• Language: English
• ISBN: 0139785299
• ISBN13: 9780139785290
• Release Date: January 1992
• Publisher: Prentice Hall
• Length: 150 Pages
• Weight: 0.62 lbs.
• Dimensions: 0.4" x 6.8" x 9.1"