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
Theological Anthropology in the Anthropocene
$119.00
Microbial Biotechnology
$249.99
Space-Age Acronyms
$39.99
Fracture Mechanics of Ceramics
$219.99
Einflu der Erschmelzungsart auf die Dauerschwingfestigkeit ungekerbter und gekerbter Proben eines W
$59.99
Assistive Technology and Artificial Intelligence
$39.99
Grundfragen der Deckungsbeitragsrechnung in der Binnenschiffahrt
$44.99
Classical Nucleation Theory in Multicomponent Systems
$54.99
Zwischen Rausch und Realitt
$79.99
Schweizer Weinlexikon
$39.99
Computer-Human Interaction Research and Applications
$64.99
Effektive Team-Meetings
$17.99
Electromagnetic Fields and Circadian Rhythmicity
$39.99
Fertigation: A Pathway to Sustainable Food Production
$39.99
The Periodic Unfolding Method
$149.00
Stem Cells in Urology
$109.99
Alkaloids
$84.99
Bone: Rock Jaw
$9.74
Environmental History of Oceanic Islands
$129.00
Haptic Interfaces for Accessibility, Health, and Enhanced Quality of Life
$139.99
Progress in Materials Science and Engineering
$84.99
Radiation Protection and Dosimetry
$119.99
Modeling the Dynamics and Consequences of Land System Change
$109.99
Tourism Policy and Planning in Bangladesh
$109.99
Peptide-Based Drug Design
$169.99
Duality in Measure Theory
$29.99
Guanidines as Reagents and Catalysts II
$219.99
Psychiatry and Philosophy
$39.99
Tutorials in Mathematical Biosciences II
$44.99
Moment Analysis for Subsurface Hydrologic Applications
$84.99
Intelligent Robotics and Applications
$39.99
Pig the Rebel (Pig the Pug) (Hardcover)
$11.24
Marketing und Business Development in Kanzleien
$59.99
Autoimmune Thyroiditis
$109.99
The Cognitive Turn
$169.99
Postheroische Fhrung
$17.99
Zwei Drfer in Deutschland
$59.99
GIScience Teaching and Learning Perspectives
$199.99
Sustainable Water Solutions in the Western Desert, Egypt: Dakhla Oasis
$129.99
Herstellung geformter Schluche mit Formdornen aus Formgedchtnislegierung
$59.99
