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

Redox Homeostasis in Plants

$109.99

Probleme und Formationen des modernen Subjekts

$39.99

Atlas zur Spurenkunde der Elektrizitt

$64.99

Aesthetic Applications of Intense Pulsed Light

$84.99

The In-Discipline of Design

$119.99

Internet of Things ICIOT 2024

$54.99

Stimulated Cerebral Blood Flow

$84.99

Developing Dialogue in Northern Ireland

$84.99

Studies in Silk Road Archaeology

$129.99

Grundriss der Histologie und Mikroskopischen Anatomie des Menschen

$34.99

Statistical Models and Turbulence

$84.99

Practical Quantitative Investment Management with Derivatives

$219.99

The Apologetic Value of Human Holiness

$169.99

Vervollkommnungen in der Gewinnung von Nadelholzsamen

$54.99

New Trends in Computer Technologies and Applications

$89.00

Digital Business

$49.99

Seismic Waves in Laterally Inhomogeneous Media

$54.99

Konvektive Wrme- und Stoffbertragung

$59.99

Italien zwischen Zentralismus und Fderalismus

$49.99

Das Grosse Dudenschlerlexikon

$54.99

Comparative Genomics

$54.99

German Yearbook on Business History 1981

$109.99

Computer-Supported Collaboration

$84.99

Beginning Progressive Web App Development

$69.99

Advances in Control System Technology for Aerospace Applications

$54.99

Next Step Guided Reading In Action 3 & Up (30-copy pack)

$1,349.70

Wohlbefinden und Gesundheit im Jugendalter

$49.99

Integral Inequalities and Applications

$219.99

Wider Perspectives on Global Development

$109.99

Polymer Mechanochemistry

$169.00

Beginning Django

$39.99

Lacrimal Gland, Tear Film, and Dry Eye Syndromes 2

$39.99

Mining, Money and Markets in the Early Modern Atlantic

$159.99

From Holomorphic Functions to Complex Manifolds

$109.99

Trade Liberalisation, Economic Growth and Environmental Externalities

$59.99

Toward an Integrative Explanation of Corporate Financial Performance

$169.99

Digitalisierung der Management-Diagnostik

$79.99

Deutsches Rechtswrterbuch

$49.99

Recollections of a Jewish Mathematician in Germany

$89.00

European Dispute over the Concept of Man

$139.99