Title: Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Publisher: Springer
Publication Date: 1998
Language: English
ISBN 10: 0387984178
ISBN 13: 9780387984179
Binding: Soft cover
Condition: New

About this title

Synopsis

Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.

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

Store Description

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Visit Seller's Storefront

Seller's business information

Sale & Shipping Terms

Terms of Sale

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

More Information

Right of cancellation

Shipping Terms

SUPER FAST SHIPPING!

Shipping rates from U.S.A. to United Kingdom

Shipping rates from U.S.A. to United Kingdom
Order quantity	20 to 30 business days	15 to 25 business days
First item	� 22.23	� 74.15

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.