REFINEMENT CALCULUS (PB 1998)

BACK R.J.

ISBN 10: 0387984178 / ISBN 13: 9780387984179

Published by SPRINGER, 1998

About this Item

Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.

Seller Inventory # CVS 9780387984179

Bibliographic Details

• Title: REFINEMENT CALCULUS (PB 1998)
• Publisher: SPRINGER
• Publication Date: 1998
• Language: English
• ISBN 10: 0387984178
• ISBN 13: 9780387984179
• Binding: Soft cover
• Edition: International Edition
• 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.