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
Nominalism and Its Aftermath: The Philosophy of Nelson Goodman
$84.99
Intelligent Systems and Financial Forecasting
$109.99
The Logic Programming Paradigm
$84.99
Die virtuelle technische Universitt zur Aus- und Weiterbildung von Ingenieuren nach dem Dualen Mode
$89.99
Great Salt Lake Biology
$199.99
Social Networks and Trust
$84.99
Visualization in Biomedical Computing
$84.99
Chinas Belt and Road Initiative in a Global Context
$169.99
Criminal Justice Forecasts of Risk
$44.99
Vernetztes Supply Chain Management
$49.99
Modeling and Stochastic Learning for Forecasting in High Dimensions
$169.99
Unconventional Agents and Unclassified Viruses
$54.99
Radio Business
$59.99
Connectivity and Superconductivity
$84.99
One Hundred Years of Journalism
$59.99
Neoliberalism and Class Conflict in Latin America
$29.99
The Lesser-Known Albert Einstein
$119.99
Studienpionier:innen und Soziale Arbeit
$69.99
Konstruktiver Ingenieurbau und Hochbau
$44.99
Cuentos Fonticos (Spanish Phonics Readers): Yacare, Cocuyo y Yegua
$3.71
Exchange Server 2000: Installieren - Konfigurieren - Administrieren - Optimieren
$54.99
Fallstudien zum mathematischen Fhigkeitsfaktor Rumliches Vorstellungsvermgen bei sechs- bis achtj
$59.99
Bio-Technology Audit in Hungary
$54.99
Friction Stir Welding and Processing X
$249.99
Bandstraen im Baubetrieb
$44.99
The Opacity of Spiral Disks
$54.99
Exercises in Cellular Automata and Groups
$54.99
Policy Horizons and Parliamentary Government
$109.99
Tropical Rainforest Responses to Climatic Change
$189.00
Statistical Decision Theory
$129.00
Schiefrigkeit und tektonische Achsen im Gebiet des Velberter Sattels (Rheinisches Schiefergebirge)
$59.99
The Handbook of Salutogenesis
$59.99
World Market Price of Oil
$54.99
LEAN Production Training fr Praxis und Studium 35 bungen mit Lsungen
$39.99
Proceedings of Data Analytics and Management
$219.99
Finite Element and Discontinuous Galerkin Methods for Transient Wave Equations
$129.99
Artificial Intelligence in Medicine
$169.99
Gender, Feminism, and Queer Theory in the Self-Study of Teacher Education Practices
$49.99
A Laboratory Guide to In Vitro Transcription
$54.99
Learning to Embed Sustainability in Teacher Education
$44.99
