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

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

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

Literature and the Peripheral City

$84.99

Non-coding RNA and the Reproductive System

$84.99

The Collectors Book of Fluorescent Minerals

$129.99

Suizidales Verhalten und nichtsuizidale Selbstverletzungen

$64.99

Green Space, Green Time

$25.00

Inter-Domain Management

$39.99

New Visions of Collective Achievement

$49.99

Knowledge Management in Organisations

$99.99

Scholastic Success With Math Tests: Grade 5 Workbook

$5.24

Quality by Design for Biopharmaceutical Drug Product Development

$189.00

Disordered Systems and Biological Organization

$109.99

Anaphora in Natural Language Understanding

$9.99

Lectures on Discrete Time Filtering

$54.99

R.E.A.L. Additional Student-Packs Grade 4 Set B (5-Pack)

$179.99

Dark Leadership

$17.99

The Manual of Strategic Economic Decision Making

$84.99

Blast Injury Science and Engineering

$119.00

Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII

$39.99

Towards a Sustainable Asia

$109.99

A Commentary on the Poems of Thomas Hardy

$39.99

IGISOL

$109.99

Advances in Design, Music and Arts III

$219.99

Latinx Immigrants

$139.99

Breast Augmentation

$329.00

Management - Handlungsmuster erfolgreicher Fhrungskrfte

$79.99

Moritz Hoernes

$69.99

Epigenomics

$169.99

Computational Intelligence in Medical Informatics

$219.99

Deterministic Kinetics in Chemistry and Systems Biology

$54.99

Growth Hormone Related Diseases and Therapy

$219.99

Pflanzenanatomischer Grundkurs

$39.99

Model Checking Software

$39.99

The Economics of Crowdfunding

$139.00

Bridging Educational Leadership, Curriculum Theory and Didaktik

$59.99

Festigkeit der Schiffe

$59.99

Atlas of Medical Renal Pathology

$219.99

Gravity and the Quantum

$139.99

Rckgewinnung des Natriumcarbonatkatalysators bei der Reduktion von Eisenerzen mit Kohlenstoff

$54.99

Thermal Energy Storage

$179.99

Der Herzinfarkt

$69.99