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

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

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

This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.

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

Exchange Entitlement Mapping

$54.99

Psychology as a Dialogical Science

$109.99

Vertrauen und Kommunikation bei einer Dienstleistung

$44.99

Logic in High Definition

$119.99

Advances in Cryptology ASIACRYPT98

$39.99

Once There Was by Kiyash Monsef

$8.99

Navigating a Travelling Organization

$84.99

Inclusive Human Machine Interaction for India

$54.99

Modelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems

$109.99

Theoretical Thermotics

$64.99

Quantum Hybrid Electronics and Materials

$169.99

Cognitive Interference Management in Heterogeneous Networks

$54.99

Stochastic Porous Media Equations

$59.99

Die Anpassung der Betriebsorganisation

$69.99

Sportmedizin - Fragen und Antworten

$49.99

The Art of Software Thermal Management for Embedded Systems

$109.99

Moduli Spaces of Riemannian Metrics

$24.99

Creative Hubs in Question

$169.99

Disciplined Growth Strategies

$44.99

Advances in Mathematical Inequalities and Applications

$129.99

Multiple Sclerosis

$84.99

Solved Problems in Lagrangian and Hamiltonian Mechanics

$109.99

Contesting Globalization and Internationalization of Higher Education

$169.99

The Perfect Present

$4.49

Societal Agents in Law

$54.99

Der Nonprofit-Sektor der Organisationsgesellschaft

$69.99

Biomedical Applications of Peptide-, Glyco- and Glycopeptide Dendrimers, and Analogous Dendrimeric

$169.99

Primate Evolutionary Biology

$84.99

Rtsel der Kochkunst

$54.99

Distributed and Parallel Database Object Management

$129.00

High Pressure Chemistry, Biochemistry and Materials Science

$39.99

Die Vorkalkulation Im Kessel- und Apparatebau

$79.99

Algorithmic Advances in Riemannian Geometry and Applications

$119.00

Natural Zeolites

$84.99

Regenerating Cultural Religious Heritage

$109.99

Geographies of Asylum in Europe and the Role of European Localities

$59.99

Gender and Power in the Third Reich

$109.99

The European Public Sphere and the Media

$54.99

Die Rechte des Kranken

$49.99

Anti-Catholicism in Britain and Ireland, 16002000

$159.99