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
Physical Theory and its Interpretation
$84.99
Introductory Physics of the Atmosphere and Ocean
$54.99
Mobilities of Knowledge
$59.99
Rookie Reader: Sometimes Things Change
$3.71
Stochastics in Finite and Infinite Dimensions
$84.99
Clinical Image-Based Procedures
$54.99
Management by Measurement
$84.99
Diagnosis and Treatment of Autism
$219.99
Fundamentals of Relational Database Management Systems
$219.99
Digitale Datenverarbeitung fr das technische Studium
$59.99
Seismicity and Seismic Risk in the Offshore North Sea Area
$219.99
Collaborative Design for Embedded Systems
$54.99
Disciplined Growth Strategies
$44.99
Role of Folliculo-luteal Function in Human Reproduction
$109.99
Crime Scene Management within Forensic Science
$169.99
Equity Derivatives
$49.99
Global Religions and International Relations: A Diplomatic Perspective
$109.99
Methods and Instruments in the Study of Meaning-Making
$159.99
Modelling and Adaptive Control
$84.99
Bobby: A Story of Robert F. Kennedy (Hardcover)
$14.24
Pig the Winner (Pig the Pug)
$3.71
Principal Component Analysis
$229.00
Applying Predictive Analytics
$84.99
Plant Secondary Metabolites
$109.99
Neural Control of Locomotion
$84.99
Konsumentenverhalten im Internet
$89.99
Future Worlds
$84.99
Existenzgrndung IT
$37.99
Emerging from an Entrenched Colonial Economy
$129.99
Immobilienwirtschaftliche Bewertung von Krankenhusern nach Einfhrung der DRG
$59.99
Endling: Endling: The Last
$7.46
Plant Genomics and Climate Change
$109.99
Organized Crime: Culture, Markets and Policies
$39.99
Coordinates on a Grid Grade 2 Differentiation Pack
$5.99
Performing the Nation in Global Korea
$54.99
Clinical Supervision and Mentorship in Nursing
$54.99
Good-bye Stacey, Good-bye: A Graphic Novel (The Baby-Sitters Club #11) (Hardcover)
$18.74
Proceedings of the Seventh International Conference on Management Science and Engineering Management
$219.99
Radiation Therapy Study Guide
$84.99
Molecular Analysis of B Lymphocyte Development and Activation
$169.99
