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
Einfhrung in die Mikrowellenphysik
$44.99
Advances in Research in Karst Media
$219.99
Willensfreiheit
$49.99
Untersuchung der Querkrfte und der Propulsionsgtegrade von Spaltdsen mit steuerbarer Sekundrdse
$59.99
Phage Display
$129.00
Video Analytics. Face and Facial Expression Recognition
$54.99
Jurez con la Repblica bajo el brazo
$5.96
Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs
$89.99
Free Market Environmentalism for the Next Generation
$89.00
Der Dispositionseffekt als relevantes Anlegerverhalten
$17.99
Grade Models and Methods for Data Analysis
$219.99
Environmental Noise Control
$199.99
Handbuch Genossenschaftswesen
$139.00
Elementare Differentialgeometrie
$74.99
Ultraviolet Radiation in the Solar System
$169.00
Advanced Information Systems Engineering
$54.99
What's Good A Memoir in Fourteen Ingredients by Peter Hoffman
$27.00
Multi-Polar Capitalism
$119.99
Handbook of Behavior Genetics
$379.99
Numerical Analysis and Optimization
$169.99
Transnationalism and the German City
$39.99
Zusammenhang zwischen dem Raumklima und der elektrostatischen Aufladung des Spinnmaterials
$59.99
Papers on Fuchsian Functions
$169.99
The Phenomenological Realism of the Possible Worlds
$129.00
Buster and Ziggy
$3.71
Time-Harmonic Electromagnetic Fields in Chiral Media
$39.99
Die virtuelle Gesellschaft des 21. Jahrhunderts
$84.99
Management of Innovation in Network Industries
$54.99
Modeling, Estimation and Control of Systems with Uncertainty
$169.00
Hegel und die franzsische Revolution
$59.99
Color Atlas of Human Gross Pathology
$249.99
kosystem Darm VI
$69.99
Active Food Packaging
$84.99
Region and Nation
$39.99
Keyword Search in Databases
$19.99
Immunobiology of Carbohydrates
$249.99
Der Entropiesatz oder der zweite Hauptsatz der mechanischen Wrmetheorie
$59.99
Mobile Schutzassistenz
$84.99
Kompakt Edition: Transport
$19.99
Modeling and Analysis of Conventional Defense in Europe
$79.99
