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
Fire (Graceling Realm Series #2) by Kristin Cashore
$13.99
Spirit of the Arts
$89.00
How to Get Government Contracts
$44.99
Soziale Bewegungen
$34.99
Information Visualization
$39.99
Gas Turbines Structural Properties, Operation Principles and Design Features
$179.99
Weltpolitische Gestaltung in Zeiten von COVID-19
$54.99
Artificial Intelligence for Edge Computing
$199.99
Proceedings of the Sixth International Conference of Transportation Research Group of India
$169.00
Conflict Transformation and Religion
$29.99
Geburtshilfe unter einfachen Bedingungen
$59.99
Plant Pathosystems
$109.99
The Mnemonic Imagination
$139.99
Praktische Schnee- und Lawinenkunde
$79.99
An Ethno-Social Approach to Code Choice in Bilinguals Living with Alzheimers
$129.99
Politische Bildung im pluralistischen Rechtsstaat
$49.99
Public Theatre and the Enslaved People of Colonial Saint-Domingue
$139.99
Wertungen und Werte in Texten
$64.99
Smart Management
$59.99
Qualittsbestimmende Merkmale von Tierhaaren
$49.99
Ambient Intelligence - Software and Applications
$169.99
Virtual Element Methods in Engineering Sciences
$179.99
Pro ASP.NET VB 2005
$54.99
Eduard Brckner - The Sources and Consequences of Climate Change and Climate Variability in Historic
$169.99
Dermatologic Radiotherapy
$54.99
A Political Economy of Free Zones in Gulf Arab States
$159.99
Turbocharger Integration into Multidimensional Engine Simulations to Enable Transient Load Cases
$54.99
Introduction to the Foundations of Applied Mathematics
$54.99
Nonfiction Phonics Readers SET 3 (Single-Copy Set): R-Control, Variant Vowels & More
$17.99
Neurophysiologie programmiert
$59.99
Confinement, Duality, and Nonperturbative Aspects of QCD
$129.00
Wirtschaftlichkeitsanalysen im Gesundheitswesen
$69.99
Philosophy and Hip-Hop
$54.99
Enterprise as an Instrument of Civilization
$54.99
Molecular Modelling fr Anwender
$69.95
Nostalgia and Recollection in Victorian Culture
$84.99
Statistische Erklrungen Deduktiv-nomologische Erklrungen in przisen Modellsprachen Offene Problem
$6.99
Blood and Tissue Oxygen Carriers
$84.99
The Impact of VLBI on Astrophysics and Geophysics
$219.99
Smart Modeling for Engineering Systems
$169.99
