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 Vektorrechnung
$59.99
Handbook of Materials Science, Volume 1
$169.00
Theology of Migration in the Abrahamic Religions
$54.99
Lasers and Chemical Change
$84.99
The Last Dragon Chronicles: The Fire Within
$8.24
Friedrich List as a Railway Pioneer in the USA
$54.99
The Ischemic Heart
$129.00
International Economic Policies in a Globalized World
$84.99
Big Books All Year Grades PreK-K (12)
$289.00
The Cohomology of Monoids
$99.00
Contemporary Sustainable Organisational Practices
$199.99
Counter-Terrorism
$84.99
Fortschritte der Botanik
$44.99
Das rztliche Gutachten
$59.99
Short-Period Binary Stars: Observations, Analyses, and Results
$109.99
Haunted Seasons
$29.99
Russische Errungenschaften in der Physiologie der Verdauung
$64.99
Neuronale Netze in der wirtschaftswissenschaftlichen Prognose und Modellgenerierung
$49.99
Actes du Conseil Gnral / Proceedings of the General Council
$54.99
Aktivittsklauseln in deutschen Doppelbesteuerungsabkommen
$89.99
Electromagnetic Radiation: Variational Methods, Waveguides and Accelerators
$169.99
Kontinuierliche Flssigkeitsdichtemessung
$59.99
Delivering on the Climate Emergency
$159.99
Das Mandat der Sozialen Arbeit
$49.99
The Politics of Healthcare Reform in Turkey
$109.99
Barnes & Noble Reckless by Lauren Roberts
$21.99
Probability Theory on Vector Spaces II
$34.99
An Introduction to Formal Language Theory
$39.99
Coating Technology for Vehicle Applications
$109.99
The Earth's Magnetic Interior
$84.99
Husserls Phnomenologie Der Intersubjektivitt
$239.00
The Making of Italy, 17961866
$109.99
Soft Governance, International Organizations and Education Policy Convergence
$54.99
Our National Forests: Stories from America's Most Important Public Lands by Greg M. Peters
$29.95
The Immunogenetics of Dermatologic Diseases
$169.99
The Sustainable Development Goals in Higher Education
$29.99
Exercise Oncology
$79.99
Mechatronics and Automatic Control Systems
$259.00
Handlungsstabilisierung in Unternehmen
$34.99
Applied Wavelet Analysis with S-PLUS
$109.99
