This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.

Book Description

This self-contained tutorial on Z, a formal notation for modeling, specifying and designing computer systems and software, presents realistic case studies emphasizing safety-critical systems. It includes exercises with solutions, reference materials and a guide to further reading.

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

Store Description

We are a local book store that specializes in used books. Our delivery is quick. Same day shipping most of the time and most books arrive within 5 days or ordering.

Visit Seller's Storefront

Seller's business information

Bay State Book Company LLC
473 saint paul st, suite 1 (Bay State Books), North Smithfield, RI, 02896, U.S.A.

Sale & Shipping Terms

Terms of Sale

Shipping Terms

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 11 business days	4 to 10 business days
First item	US$ 0.00	US$ 6.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.