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:
Buy Refinement Calculus for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$84.99 | 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
The Butterfly Effect in Competitive Markets
$84.99
Destinationsmarken im Special Interest Tourismus
$69.99
Strukturiert Programmieren
$59.99
The Reagan Manifesto
$54.99
Nuklearmedizinische Probleme der Bilddarstellung ebener radioaktiver Verteilungen in Blutgefen und
$54.99
Literature 1999, Part 2
$639.00
Vom Teen-Ager zum Man-Ager
$49.99
Bilanzlehre
$74.99
Multi-Agent-Based Simulation VII
$39.99
Sanierung und Konkurs
$59.99
Cardiac Dysfunction in Chronic Uremia
$169.00
Adaptive Voltage Control in Power Systems
$109.99
Schichten und Erlebnismilieus
$49.99
Computational Intelligence in Digital and Network Designs and Applications
$54.99
Schulentwicklung durch Wettbewerbe
$59.99
Advances in Creativity, Innovation, Entrepreneurship and Communication of Design
$129.00
Historical Theory and Methods through Popular Music, 19702000
$159.99
Modeling and Simulation in Engineering, Economics, and Management
$69.99
Miltons Paradise Lost
$39.99
Taxonomies for the Development and Verification of Digital Systems
$109.99
Practical Docker with Python
$54.99
Experience and Faith
$54.99
The Market in Chinese Social Policy
$39.99
Agricultural Ethics in East Asian Perspective
$109.00
Die hydrolysierenden Enzyme der Nucleinsuren, Amide, Peptide und Proteine
$59.99
Herz-Lungen-Wiederbelebung
$49.99
Love from Giraffes Can't Dance (Hardcover)
$6.74
Scale Optimization in Supply Chains and Smart Manufacturing
$54.99
TRON Project 1989
$54.99
Ethical and Philosophical Issues in Medical Imaging, Multimodal Learning and Fusion Across Scales fo
$59.99
Medien politisch denken
$69.99
The Power of Potential: How a Nontraditional Workforce Can Lead You to Run Your Business Better by Tom D'Eri
$28.99
Low-Voltage Low-Power Analog Integrated Circuits
$109.99
Advances in Robot Design and Intelligent Control
$169.99
Business in Real-Time Using Azure IoT and Cortana Intelligence Suite
$49.99
Elementare und algebraische Zahlentheorie
$37.99
Ethical Citizenship
$39.99
Public-Private Partnerships in Infrastructure
$99.00
The Right Ventricle
$329.99
Development in Latin America
$109.99
