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: New
Book Type: Book

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.

"About this title" may belong to another edition of this title.

Store Description

My Bookstore has a wide variety of books, both new and used.. all in quality condition as described

Visit Seller's Storefront

Seller's business information

BooksByLisa
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

Lisa Savin: 847-274-4830
19499 Cedar Glen Dr Boca Raron, FL. 33434
8 Ridge Road Highland Park, IL. 60035

Media Shipling is 3.99 per book and .09 per lb book over 1lb. Pack and ship by 3-5 days. only Priority Service as option is $8.00 plus .09 per lb over 1lb

Sellers are required to accept returns, when initiated within 30 days of the estimated delivery date, for all reasons under AbeBooks' Return Policy. Refund amounts are based on the return reason. If the return reason cannot be determined, ...

More Information

Shipping Terms

no insurancd ofher the THE USPS $50 inless requested and paid by buyer

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 12 business days	3 to 5 business days
First item	US$ 0.00	US$ 17.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.