Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Refinement Calculus

Refinement Calculus

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780387984179
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Scholar Zone Extended Learning ELA & Math Grade 6 (2 Scholar)

$150.00

Handbook of Image Processing and Computer Vision

$249.99

Stadterneuerung im vereinten Deutschland Rck- und Ausblicke

$84.99

iPhone 4S Made Simple

$32.99

The Legacy of John Austin's Jurisprudence

$169.99

From Text to Literature

$54.99

Salam Alaikum

$4.46

Bewegte Bergwelt

$39.99

Chirurgische Anatomie des Kopf-Hals-Bereiches

$89.00

The Quantum Hall Effect

$99.99

Handbuch Beratungskompetenz

$39.99

Bifurcations and Catastrophes

$54.99

Die Strukturkrise der Strukturpolitik

$59.99

Praxis der biotechnologischen Abluftreinigung

$69.99

COVID-19: Systemic Risk and Resilience

$159.99

Unterrichtszentrierte Schulentwicklung

$49.99

Self and City in the Thought of Saint Augustine

$99.99

Literarische Manifeste des Naturalismus 18801892

$129.99

Mapping European Economic Integration

$54.99

Die grossen Segelschiffe

$79.99

Genetics and Genomics of Pineapple

$109.99

Business Engineering Navigator

$69.99

Migration and Homing in Animals

$109.99

The Coupling of Climate and Economic Dynamics

$129.00

Progress in Industrial Mathematics at ECMI 2004

$129.00

Blue Biotechnology

$199.99

Membrane Transporter Diseases

$169.99

Modelling and Development of Intelligent Systems

$69.99

The Investigation of Plastic Behavior by Discrete Dislocation Dynamics for Single Crystal Pillar at

$109.99

The Bridges of Madison County by Robert James Waller

$15.99

Konstruktion kategorialer Zugehrigkeit

$49.99

Asymptotic Analysis for Integrable Connections with Irregular Singular Points

$29.99

Getriebesynthese

$59.99

Resorption und Exkretion

$59.99

Acting like a Woman in Modern Japan

$54.99

Human Embryonic Stem Cell Protocols

$109.99

Bildungsverlierer

$39.99

Software, Services, and Systems

$54.99

Handbuch Alter und Altern

$119.99

Recent Advances in Swarm Intelligence and Evolutionary Computation

$109.99