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
Atlas of Mandibular and Maxillary Reconstruction with the Fibula Flap
$159.99
Politische Dimensionen der europischen Gemeinschaftsbildung
$44.99
Distributed Computing and Internet Technology
$39.99
Structural Integrity Monitoring
$219.99
Advances in Radiation Oncology in Lung Cancer
$259.00
WHO-Laborhandbuch
$74.99
The History of Technologic Advancements in Urology
$179.99
Calculus Renewal
$109.99
Comparative Environmental Politics
$199.99
Design Tools and Methods in Industrial Engineering
$219.99
Handbook of Tourism and Quality-of-Life Research
$329.99
Alexander von Kluck
$59.99
Zwischen Anpassung und Selbstbehauptung
$64.99
Mass Supply and Flows in the Solar Corona
$39.99
Genetic Toxicology
$54.99
Civil Society Elites
$59.99
Nachhaltigkeit und Digitalisierung (k)ein unternehmerisches Dilemma
$39.99
Sort It Out
$3.71
Complex and Symplectic Geometry
$139.99
The Brazilian Economy Today
$109.99
Performance Evaluation and Benchmarking for the Era of Cloud(s)
$54.99
Manual of Vibration Exercise and Vibration Therapy
$169.99
Computational Methods
$329.99
Mathematical Structures of Nonlinear Science
$39.99
Fractal Algorithm and Its Application in Rock Mechanics
$129.99
Twentieth-Century Anglo-American Relations
$84.99
Stroke Revisited: Hemorrhagic Stroke
$139.99
Psychosomatik der Infertilitt
$69.99
Jahrbuch zur Mittelstandsforschung 1/2005
$64.99
Graph Transformation
$54.99
Fuzzy Partial Differential Equations and Relational Equations
$169.99
Restrukturierung und Neubesetzung des Vorstands
$74.99
Theater als geistiger Widerstand
$49.99
Kardiovaskulre Magnetresonanztomographie
$59.99
The Philosophical Foundations of Soviet Aesthetics
$129.00
Altern und Zeit
$64.99
Systems Chemical Biology
$169.99
Principles and Practice of Constraint Programming - CP97
$84.99
Oceanic and Anthropogenic Controls of Life in the Pacific Ocean
$129.00
Systems, Signals and Image Processing
$64.99
