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
Python Continuous Integration and Delivery
$54.99
New Challenges on Bioinspired Applications
$39.99
Intelligent Systems and Machine Learning
$109.99
Essential Spaceflight Dynamics and Magnetospherics
$189.00
Political Transformations and Political Entrepreneurs
$54.99
A Student's Guide to the MA TESOL
$54.99
Differentialdiagnose rheumatischer Erkrankungen
$54.99
Collected Papers
$54.99
Figuring Madness in Nineteenth-Century Fiction
$109.99
Statistics in Criminal Justice
$69.99
Die fossilen Asseln aus den Oberjuraschichten von Ernstbrunn in Niedersterreich und von Stramberg i
$59.99
Application of Fracture Mechanics to Cementitious Composites
$39.99
Residue Reviews
$39.99
Recent Advances in Fluid Dynamics
$169.99
Critical Terms in Futures Studies
$99.00
Vollkasko-konomie
$29.99
Advanced Science and Technology of Sintering
$169.00
Heat Capacity and Thermal Expansion at Low Temperatures
$169.99
Climate Change, Extreme Events and Disaster Risk Reduction
$169.00
Tabakatlas Deutschland 2009
$19.99
Narrow-Band PhenomenaInfluence of Electrons with Both Band and Localized Character
$39.99
Scholastic Reader! Level 1-I Spy: I Spy Lightning in the Sky
$2.99
e-Learning, e-Education, and Online Training
$99.00
Handbook of Religion and Social Institutions
$79.99
International and Transnational Perspectives on Urban Systems
$179.99
Beginning HTML5 Games with CreateJS
$54.99
Cost Analysis Applications of Economics and Operations Research
$54.99
Gabby's Dollhouse: Meet the Kittycorn
$4.49
Public Health in Europe
$169.99
Engineering Psychology and Cognitive Ergonomics
$79.99
The Probabilistic SIR Model (PSIR) in the Pandemic Process
$17.99
Praxishandbuch Nachhaltige Produktentwicklung
$54.99
Climate Change, Intercropping, Pest Control and Beneficial Microorganisms
$259.00
Die ertragsteuerneutrale und identittswahrende Sitzverlegung der GmbH in Mitgliedstaaten der Europ
$69.99
Groundwater in Arid and Semi-Arid Areas
$129.99
Judy Moody, M.D
$4.46
Tiny T. Rex and the Impossible Hug by Jonathan Stutzman
$15.99
'Post'-9/11 South Asian Diasporic Fiction
$54.99
Cancer Nanotechnology
$169.99
The United States and the Legacy of the Vietnam War
$39.99
