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

Formal Techniques for Distributed Objects, Components, and Systems

Formal Techniques for Distributed Objects, Components, and Systems

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

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Corporate Governance fr Krankenhuser

$84.99

Entrepreneurship and Growth

$54.99

Structural Failure Models for Fault-Tolerant Distributed Computing

$84.99

Applications of Game Theory in Deep Learning

$49.99

Transcending Member States

$109.99

Optimization and Inventory Management

$139.99

MATLAB Codes for Finite Element Analysis

$129.99

Entwicklungslnder in der Weltgesellschaft

$44.99

New Protein Techniques

$84.99

Halophiles and Hypersaline Environments

$169.00

Climate Change, Agriculture and Society

$119.00

Baukonstruktion vom Prinzip zum Detail

$39.99

Geometric Quantization in Action

$119.99

Wundversorgung von A - Z

$19.99

No, David!: David va a la escuela

$5.24

Unilateral Problems in Structural Analysis IV

$39.99

Stability Analysis and Controller Design of Local Model Networks

$84.99

Integrierte Bestellmengen- und Wiederaufbereitungsplanung von begrenzt haltbaren Medizinprodukten in

$74.99

Tsunami Science: Ten years after the 2004 Indian Ocean Tsunami

$54.99

Perioperative Inflammation as Triggering Origin of Metastasis Development

$169.99

Die Wahrscheinlichkeit

$59.99

Management von Business Webs

$74.99

Politics, Taxation, and the Rule of Law

$89.00

Leukocyte Integrins in the Immune System and Malignant Disease

$84.99

Der Pltzliche Herztod

$59.99

Sustainable Chemical, Mineral and Material Processing

$249.99

Gynecologic Oncology

$429.00

Holzeigenschaften geschdigter Fichten

$49.99

Beckett, Deleuze and the Televisual Event

$39.99

Discrete Optimization in Architecture

$49.99

Photocatalytic Activities for Environmental Remediation and Energy Conversion

$109.99

The Collapse of Exchange Rate Regimes

$84.99

R-Calculus, III: Post Three-Valued Logic

$199.99

Ein Beitrag zur vergleichenden Chemie der Leber

$54.99

Human Action, Deliberation and Causation

$169.99

Eclipses, Transits, and Comets of the Nineteenth Century

$109.99

Design, User Experience, and Usability. User Experience in Advanced Technological Environments

$54.99

Babies on the Move: Reach, Reach, Baby!

$5.21

The Elms

$109.99

Ecotourism

$129.99