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
Breaking the Rules
$39.99
Function Spaces and Potential Theory
$159.99
Nitrogen Losses and Surface Run-Off from Landspreading of Manures
$219.99
Structural Stability in Physics
$39.99
Guide to Convolutional Neural Networks
$84.99
Bildung im Cyberspace
$69.95
Cause & Effect Grade 3 Differentiation Pack
$5.99
Teaching: Professionalisation, Development and Leadership
$109.99
Ressourcenallokation, Wettbewerb und Umweltkonomie
$19.99
Kommunale gewerbliche Unternehmungen als Kampfmittel gegen die finanzielle Notlage der deutschen St
$59.99
Tadpole to Frog
$17.25
Gateaux and Torten
$109.99
Synthesis and Application of Organoboron Compounds
$219.99
India's and China's Recent Experience with Reform and Growth
$109.99
A Readers Guide to the Plays of W. B. Yeats
$39.99
Betriebswirtschaftliche Produktions- und Kostentheorie
$59.99
Die kumenische Bewegung und das II. Vatikanische Konzil
$54.99
Entscheidungsprozesse in Organisationen
$19.99
Isolation and Language Change
$84.99
Electronics for Physicists
$59.99
Scholastic Literacy Events Spotlight on Reading - Grade 5
$399.00
Digital Personal Branding
$39.99
Energiewirtschaft fr (Quer-)Einsteiger
$34.99
Structural Change and Dynamics of Labor Markets in Bangladesh
$109.99
Parameterized and Exact Computation
$69.99
Fundamentals of Digital Forensics
$59.99
Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics
$29.99
Head and Neck Cancer
$169.00
Appropriate Waste Management for Developing Countries
$169.00
Localized Excitations in Nonlinear Complex Systems
$109.99
Chirurg und Zahnarzt
$59.99
Sentencing: A Social Process
$54.99
Scientific Applications of Lunar Laser Ranging
$129.00
Education for Tomorrow
$49.99
Die Kfer Mitteleuropas, Bd. 6: Diversicornia (Lycidea-Byrrhidae)
$179.99
Pro Team Foundation Service
$39.99
Biomechanics
$299.99
Parametric and Nonparametric Inference from Record-Breaking Data
$54.99
Developing Adaptation Policy and Practice in Europe: Multi-level Governance of Climate Change
$169.99
The history of oncology
$79.99
