Title: Using Z: Specification, Refinement, and Proof (Prentice-hall International Series in Computer Science)
Publisher: Prentice Hall
Publication Date: 1996
Language: English
ISBN 10: 0139484728
ISBN 13: 9780139484728
Binding: Paperback
Condition: New
Weight: 24 ounces

About this title

Synopsis

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published. Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

From the Back Cover

This is the first book to cover the three important areas of using the Z notation -- specification, rigorous and formal proof, and refinement into code. It covers sequences, schemas, promotion, preconditions, a logic for Z, sample theorems, data refinement, algorithm development, and more. For programmers, software designers, and software engineers. Previously announced in 2/93 PTR Catalog.

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

Store Description

Visit Seller's Storefront

Seller's business information

BennettBooksLtd
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	7 to 30 business days	3 to 14 business days
First item	US$ 6.95	US$ 9.95

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.