Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Refinement Calculus
Best Price (Coupon Required):
Buy Refinement Calculus for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Branches - The Last Firehawk: The Shadow Returns
$4.49
Software-Wiederverwendung
$59.99
Anreizsysteme zur Unternehmenssteuerung
$69.99
Alaska Gardening Guide - Vegetables for Northern Climates by Ann D. Roberts
$29.95
The Dynamic Interlanguage
$169.99
Accountability and Transparency in the Modern Anthropocene
$169.99
Migration and Social Protection in Europe and Beyond (Volume 3)
$59.99
Exchange and Deception: A Feminist Perspective
$109.99
A Scientific Approach to Improving Animal Research in Biomedicine
$79.99
BGB: Schuldrecht
$59.99
Die Haftung fr Personenschden im deutschen Verkehrsrecht
$44.99
3D Diagnosis and Treatment Planning in Orthodontics
$199.99
Cauchy's Calcul Infinitsimal
$129.99
Valuation and Volatility
$99.99
Comparative Gene Finding
$129.00
Distributionswirtschaft
$59.99
Managing e-business Projects
$54.99
Krperschall
$179.00
Fossil Vertebrates of Greece Vol. 2
$159.99
Global Sustainability, Cultural Perspectives and Challenges for Transdisciplinary Integrated Researc
$129.99
Contemporary Topics in Molecular Immunology
$54.99
Wer ist Musikalisch?
$59.99
Biomaterials and Tissue Engineering
$149.00
Systemisches Arbeiten fr Kulturmanager
$17.99
Quick Guide Personaldienstleistung
$19.99
Steuerbilanzen
$74.99
Proceedings of the 2nd International and Interdisciplinary Conference on Digital Environments for Ed
$179.99
The BL Phase Transition
$109.99
Valuing Customer Engagement
$29.99
Ethnic Minority-Serving Institutions
$54.99
Erdbebenbemessung von Stahlbetonhochbauten
$99.00
Epistemology, Knowledge and the Impact of Interaction
$109.99
Lehrbuch der Mikrochemie
$39.99
Carbon Dioxide Recovery and Utilization
$169.99
Electroluminescence
$39.99
Eine Relektre der Romantik zwischen Ethik und Didaktik
$44.99
Scholar Zone Extended Learning Plus ELA Grade 5 (2 Scholar)
$90.00
Sozialer Kanon, soziale Existenz und das Problem der Sinngebung. Ein soziologischer Essay
$69.99
Towards Operational Disequilibrium Macro Economics
$54.99
Convective Heat and Mass Transfer in Porous Media
$429.00
