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
Simulating Prehistoric and Ancient Worlds
$84.99
Ischemic Stroke
$37.99
Minerals latu sensu and Human Health
$149.00
Gothic Pathologies
$109.99
bungen zur Kosten-, Erls- und Ergebnisrechnung
$34.99
Ins Feld und zurck - Praktische Probleme qualitativer Forschung in der Sozialgeographie
$49.99
Elementary Particles - Accelerators and Colliders
$549.99
Grundlagen fr den Entwurf von Braunkohlenbrikettfabriken und Mglichkeiten zur Verbesserung ihrer E
$59.99
Basic and Clinical Aspects of Malignant Melanoma
$129.00
Unternehmer sind Verrckte
$29.99
Plasma Cell Neoplasms
$39.99
Aachener Bausachverstndigentage 2004
$54.99
We're Going on a Treasure Hunt
$4.46
Regional economic structure and environmental pollution
$54.99
Erinnern mssen und Vergessen drfen
$69.99
New Dialectics and Political Economy
$89.00
Vaccines, Medicines and COVID-19
$37.99
Independent Reading: Using Your Classroom Library Grade 6 & Up
$19.99
Web 3.0: Concept, Content and Context
$139.00
The Semantic Web: ESWC 2020 Satellite Events
$39.99
Frozen Section Library: Pancreas
$109.00
New Perspectives on Paternalism and Health Care
$39.99
Precision Molecular Pathology of Neoplastic Pediatric Diseases
$129.99
The Caspian Sea Encyclopedia
$329.00
Current Research Trends and Applications in Waste Management
$219.99
Computational Modelling of Molecular Nanomagnets
$219.99
Space Supporting Africa
$54.99
Atlas of Human Hemopoietic Development
$84.99
Integration von Entwicklungssystemen in Ingenieuranwendungen
$69.99
A Systolic Array Optimizing Compiler
$84.99
Sourcebook of Methods of Analysis for Biomass and Biomass Conversion Processes
$219.99
Managed Evolution
$64.99
Between Protection and Harm
$59.99
From Me to We
$37.99
Comparative Genomics
$39.99
Multiregional Input Output Models in Long-Run Simulation
$109.99
Soziale Diagnostik in der Extremismusprvention Diagnose, Fallverstehen, Intervention und Wirkungs
$74.99
After Number 10
$54.99
Arachidonic Acid Metabolism and Tumor Initiation
$109.99
The Social Impulse
$179.99
