Skip to content
Paperback Understanding Z: A Specification Language and Its Formal Semantics Book

ISBN: 0521054141

ISBN13: 9780521054140

Understanding Z: A Specification Language and Its Formal Semantics

Select Format

Select Condition ThriftBooks Help Icon

Selected

Format: Paperback

Condition: New

$40.77
Save $0.22!
List Price $40.99

50 Available

Book Overview

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. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of...

Customer Reviews

0 rating
Copyright © 2022 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell My Personal Information | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured