REFINEMENT CALCULUS (PB 1998)
Language: English
Published by SPRINGER, 1998
- Softcover
- New
Seller: UK BOOKS STORE, London, London, United KingdomUK BOOKS STORE
5-star seller
AbeBooks seller since March 11, 2024
International Edition
Softcover
Condition: New
US$ 206.95
Free Shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Brand New! Fast Delivery This is an 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 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Seller Inventory # Cvs 9780387984179
- Title
- REFINEMENT CALCULUS (PB 1998)
- Author
- BACK R.J.
- Publisher
- SPRINGER
- Publication year
- 1998
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 0387984178
- ISBN 13
- 9780387984179
- Edition
- International Edition
- Series
- Book 27 of 83: Texts in Computer Science
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.
"Synopsis" may belong to another edition of this title.
UK BOOKS STORE
London, London, United Kingdom
5-star seller
AbeBooks seller since March 11, 2024
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 6.74 |
Payment methods
Seller's business information
URBAN BOOK LIMITED
71-75 Shelton Street, Covent Garden
London, United Kingdom WC2H 9JQ