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
9783642385926
Condition
New
Product Description

This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.

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

Applied Asymptotic Expansions in Momenta and Masses

$169.00

New Trends in Earth-Science Outreach and Engagement

$109.99

Adjustments for Students With Special Needs in General Education Classes

$49.99

Internationales Beschwerdemanagement

$59.99

Scholastic News Sticky Situation Cards: Grades 1-3

$26.24

Lehrbuch der Gynkologie

$59.99

Cancel Culture

$44.99

Graphentheoretische Konzepte und Algorithmen

$44.99

Endoskopische Urologie

$139.99

Computer Vision and Image Processing

$79.99

Co-oP

$39.99

Migration Policy and Practice

$54.99

New Essays in Applied Ethics

$54.99

Revisiting EFL Assessment

$129.99

Procedural Semantics for Hyperintensional Logic

$219.99

Germ-Free Biology Experimental and Clinical Aspects

$109.99

International Yearbook of Nephrology 1990

$169.99

Die Welt der Primzahlen

$29.99

Die Be- und Entlftung des Normalarbeitsraumes

$44.99

Dein Mutmacher bist du selbst!

$39.95

Recent Advances in Artificial Intelligence and Smart Applications

$299.99

Women and Transition

$35.00

Betriebswirtschaftslehre heute

$54.99

Armes Kind - starkes Kind?

$29.99

Sexual Perversions, 16701890

$54.99

Progressive Decision-Making Tools and Applications in Project and Operation Management

$169.99

The Royal Navy in Indigenous Australia, 17951855

$119.99

Transkulturelle Medizin

$64.99

Werkstoffkunde fr die Elektrotechnik

$79.99

Praktisches Denken und Normativitt

$54.99

Basement Regions

$169.99

Competence-based Vocational and Professional Education

$379.99

Fluids Under Control

$89.99

Spezielle Strahlentherapie Maligner Tumoren / Radiation Therapy of Malignant Tumours

$54.99

Cardiovascular Prevention and Rehabilitation

$299.99

The Epistemology of Religious Disagreement

$54.99

Freie in Lokalredaktionen

$74.99

Hendrick Goltzius als Maler, 16001617

$44.99

Riots and Pogroms

$59.99

Concepts and Applications of Remote Sensing in Forestry

$199.99