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

Stepwise Refinement of Distributed Systems

Stepwise Refinement of Distributed Systems

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

The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications.

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

Anlegerorientierte Handelsverfahren fr den deutschen Aktienmarkt

$49.99

Planar Waveguide Optical Sensors

$109.99

Memphis, Martin, and the Mountaintop

$6.71

British Women's Writing in the Long Eighteenth Century

$54.99

Adhesive Interactions in Normal and Transformed Cells

$89.00

Scholastic Reader Level 1 - BOB Books: Outdoor Adventures!

$3.74

Therapielexikon Psychiatrie, Psychosomatik, Psychotherapie

$29.99

Separating Powers: International Law before National Courts

$109.99

Atlas of Hepatocellular Carcinoma Pathology

$199.99

Astrophysical Applications of Gravitational Lensing

$54.99

Carbon Fibers

$149.00

The Unitary Group for the Evaluation of Electronic Energy Matrix Elements

$109.99

Kontrollierte Hypotension

$69.99

Elementarmathematik griffbereit

$99.99

Vibrational-Rotational Excitations in Nonlinear Molecular Systems

$109.99

Moderne Metallkunde in Theorie und Praxis

$59.99

Handbook of Arbuscular Mycorrhizal Fungi

$179.99

A World History of Higher Education Exchange

$99.99

Das Verhalten ionitrierter Oberflchen beim statischen Torsionsversuch

$59.99

Handbuch Polizeimanagement

$139.99

Nationalsozialismus in der Grundschule

$74.99

Unternehmensbewertung

$64.99

Praktische Astronomie: Geographische Orts- und Zeitbestimmung

$49.99

HIV Treatment and Prevention Technologies in International Perspective

$54.99

The Essential Guide to Flash CS4

$39.99

An Environmental History of Southern Malawi

$109.00

Space Information Network

$54.99

Knowledge Discovery in Databases: PKDD 2006

$109.99

Atmospheric Deposition and Forest Nutrient Cycling

$84.99

Problems of International Finance

$84.99

The Violent Technologies of Extraction

$69.99

Familienunternehmen Auslaufmodell oder Erfolgstyp?

$49.99

Rhodopsin

$109.99

Financial Inclusion and Livelihood Transformation

$109.99

Parsing Theory

$54.99

No, David!

$5.96

Zur Wirkung von Ultraschall auf die Keimung und Entwicklung von Pflanzen und auf den Verlauf von Pfl

$54.99

Aktionrsklage, D&O-Versicherung und Vorstandshandeln

$74.99

Zielsicher im Sozialraum

$44.99

Economic and Political Change in Asia and Europe

$169.99