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 Systems

Formal Techniques for Distributed Systems

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

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

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

Labour-Market Flexibility and Individual Careers

$84.99

Access Networks

$39.99

Societal Self-empowerment in Germany

$64.99

Gut-Associated Lymphoid Tissues

$129.00

Energie versus Kohlendioxid

$19.99

Computer Supported Qualitative Research

$169.99

Computer Supported Education

$109.99

Propeller Programming

$54.99

The Dynamic American Firm

$109.99

Politikwissenschaftliche Spiegelungen

$69.99

Vorlesungen ber hhere Mathematik

$39.99

Diagnostic Cytopathology Board Review and Self-Assessment

$179.99

Die Raumordnung Drngt

$59.99

Leavitt Path Algebras and Classical K-Theory

$129.00

Communicative Disorders

$84.99

Modell Studienreform

$59.99

Polizei und Presse

$44.99

Algorithms and Complexity

$39.99

Nonlinear Optical Effects and Materials

$39.99

Tadpole - Outdoor Explorer: I See Rocks

$5.21

Generische Architektursichten

$59.99

Modeling, Simulation and Optimization

$299.99

Mathematics of the Internet

$169.99

Simulation and Gaming for Social Design

$119.00

Perspectives on Males and Singing

$169.99

Foundations of Image Understanding

$129.00

A Phenomenological Knock Model for the Development of Future Engine Concepts

$54.99

Introducing .NET for Apache Spark

$69.99

Euphorbia in Southern Africa

$219.99

Technology of Quantum Devices

$279.99

Sometimes I Kaploom (Hardcover)

$14.24

Spannungsoptik

$59.99

Innerparteiliche Gruppierungen in der SPD

$59.99

Modeling and Measuring Competencies in Higher Education

$59.99

Classical Theory of Electricity and Magnetism

$89.99

Dynamics and Control of Lorentz-Augmented Spacecraft Relative Motion

$39.99

Indigeneity, Globalization, and African Literature

$54.99

Thin Film Growth Techniques for Low-Dimensional Structures

$54.99

The Astrophysics of Galactic Cosmic Rays

$169.99

The Dynamics of Cultural Evolution

$119.99