Power Search
Low Price Guarantee
We Take School POs
Understanding Z: A Specification Language and Its Formal Semantics
Contributor(s): Spivey, J. M. (Author)

View larger image

 ISBN: 0521054141     ISBN-13: 9780521054140
Publisher: Cambridge University Press
OUR PRICE: $40.84  

Binding Type: Paperback - See All Available Formats & Editions
Published: January 2008
Qty:

Click for more in this series: Cambridge Tracts in Theoretical Computer Science (Paperback)
Additional Information
BISAC Categories:
- Computers | Programming Languages - General
- Computers | Software Development & Engineering - General
Dewey: 005.133
Series: Cambridge Tracts in Theoretical Computer Science (Paperback)
Physical Information: 0.3" H x 6.69" W x 9.61" L (0.52 lbs) 140 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!