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

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Wireless ATM and Ad-Hoc Networks

$129.00

Lernfrderliche Interaktion beim Peer-Learning in der Grundschule

$79.99

Handbook on the Neuropsychology of Aging and Dementia

$349.99

Handbuch Disability Studies

$119.99

Language, Music and Computing

$54.99

TNM

$69.95

Mapping European Economic Integration

$54.99

Law, State, and Society in Modern Iran

$54.99

Oxidant Air Pollution Impacts in the Montane Forests of Southern California

$219.99

Der "Ossi"

$44.99

Psychologische Probleme

$59.99

Dampflokomotiven

$49.99

Formal Methods for Components and Objects

$54.99

Asynchronous Transfer Mode Networks

$39.99

Strom-Spannungs-Kennlinien von Niederdruck-Glimmentladungen hoher Stromdichte fr Brennspannungen bi

$54.99

Core Knowledge Sequence Grade 3

$515.00

Untersuchungen der thermischen Entgasung von Metallen im Ultrahochvakuum mit Hilfe eines Omegatron-P

$59.99

China Satellite Navigation Conference (CSNC) 2018 Proceedings

$219.99

Interworking of Wireless LANs and Cellular Networks

$39.99

Computational Fluid Dynamics for Sport Simulation

$39.99

Integer Programming and Combinatorial Optimization

$39.99

Legitimacy Beyond the State?

$39.99

Modeling of Curves and Surfaces in CAD/CAM

$54.99

Proceedings of the 8th International Conference on Space Science and Communication

$139.00

Chemikalien in der Metallbearbeitung

$54.99

Humanity in Psychology

$119.00

Branches - The Last Firehawk: The Shadow Returns

$4.49

Comparative Kurdish Politics in the Middle East

$119.00

Toward a Sociobiological Hermeneutic

$54.99

Gamification and Consumer Engagement

$109.00

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops

$99.99

Innovations in Applied Informatics and Media Engineering

$219.99

Enric Trillas: A Passion for Fuzzy Sets

$109.99

Pi und Co

$29.99

Von der Fachschule in die Hochschule

$39.99

Medieneffekte

$39.99

Frontiers of Intelligent Autonomous Systems

$169.99

Intensive Media

$54.99

Die Psychoanalyse der Schler um Freud

$34.99