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
Passive Sicherheit von Kraftfahrzeugen
$54.99
Mechanisms, Transmissions and Applications
$129.00
Anlageformen Steuerbegnstigte Darlehenshingabe und Anlage in Versicherungen
$69.99
PHP 8 Objects, Patterns, and Practice
$44.99
Nonblocking Supervisory Control of State Tree Structures
$84.99
Technologiebasierte Chancen und Wachstum akademischer Spin-offs
$54.99
T y yo juntos
$23.95
Gender, Islam and Sexuality in Contemporary Indonesia
$59.99
Mit Sportpsychologie durch Grenzsituationen:
$17.99
Genetics and Genomics of Rice
$129.00
Tiefbohrgerte
$44.99
Structural Information and Communication Complexity
$54.99
A River of Words
$6.71
Acoustical Imaging
$39.99
Theorie der Institution
$69.99
Application of Selected Reaction Monitoring to Highly Multiplexed Targeted Quantitative Proteomics
$54.99
Synergies in Analysis, Discrete Mathematics, Soft Computing and Modelling
$109.00
Advances in Robot Kinematics: Analysis and Control
$219.99
Hantaviruses
$129.00
Negative Capability in Leadership Practice
$54.99
Efficient material laser beam ablation with a picosecond laser
$139.99
Social Choice and Bargaining Perspectives on Distributive Justice
$54.99
Data Governance and Compliance
$49.99
Aspekte der strafrechtlichen Postpendenz
$44.99
A Handbook of Parenteral Nutrition
$84.99
Optik in der Rechentechnik
$39.99
Handbook of Social Justice Theory and Research
$259.00
Theory and Practice of Natural Computing
$54.99
Stereoscopic Anatomical Atlas of Ear Surgery
$169.99
Architektur der Bauschden
$29.99
The Palgrave Handbook of Family Firm Internationalization
$249.99
Restoration of Brain Function by Tissue Transplantation
$54.99
Spectrum-Aware Mobile Computing
$109.99
B2 Brx
$74.99
Russian Montparnasse
$84.99
The Gnostic Paradigm
$39.99
Using Energy Crops for Biofuels or Food: The Choice
$109.99
Charakter und Umwelt
$59.99
Future Studies and Counterfactual Analysis
$39.99
Fluorescent Proteins
$89.00
