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

Assassinations and Murder in Modern Italy

$54.99

Stable Fixation of the Hand and Wrist

$74.99

Optimales Online-Marketing

$49.99

Praktische Getriebelehre

$79.99

Unschooling Racism

$64.99

The Circulatory Story

$5.96

List of Substances of the Competent Federal Government and Federal State Authorities

$39.99

Complexity in Chemistry, Biology, and Ecology

$109.99

A Controlled Phase Gate Between a Single Atom and an Optical Photon

$109.99

Zahlbegriffsentwicklung bei Kindergartenkindern

$74.99

Sika Deer

$349.00

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

$119.00

Towards Mathematical Philosophy

$169.99

Virus-Derived Nanoparticles for Advanced Technologies

$249.99

Finanzwirtschaft des Unternehmens und Kapitalmarkt

$64.99

Hierarchical Macromolecular Structures: 60 Years after the Staudinger Nobel Prize II

$169.00

Nonprofit-Organisationen vor neuen Herausforderungen

$84.99

Relaxation and Diffusion in Complex Systems

$219.00

Flexible Plankostenrechnung und Deckungsbeitragsrechnung

$89.99

Sexuality, Sociality, and Cosmology in Medieval Literary Texts

$54.99

Viktor Kaplan

$44.99

Regenerative Medicine and Plastic Surgery

$219.99

Advanced Computing and Intelligent Technologies

$219.99

Global Production and Trade in East Asia

$169.99

Mndliche Prfung bestanden!

$29.99

Markovian Demand Inventory Models

$99.00

Emerging Research in Electronics, Computer Science and Technology

$169.00

Fractals in Geophysics

$39.99

Zentral Marketing-Aspekte im Public Health-Care

$64.99

Parenting and the State in Britain and Europe, c. 1870-1950

$109.00

Co-Creation of High-Tech Products in the B2B Domain

$54.99

Proceedings of the International Field Exploration and Development Conference 2023

$299.99

DEMOS A System for Discrete Event Modelling on Simula

$39.99

Neue Energielandschaften Neue Perspektiven der Landschaftsforschung

$39.99

Oculoplastic Surgery Atlas

$129.00

High Density Digital Recording

$39.99

Proceedings of GeoShanghai 2018 International Conference: Rock Mechanics and Rock Engineering

$169.99

Frozen Section Library: Lung

$119.99

Knotted Fields

$79.99

Reproductive Strategies and Developmental Patterns in Annelids

$169.99