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

$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

Interaction-induced Electric Properties of van der Waals Complexes

$54.99

Thucydides and Political Order

$109.99

Parasitic Diseases

$139.00

BASIC Microcomputing and Biostatistics

$109.99

Angels of Modernism

$54.99

VDI-Taschenlexikon Immissionsschutz

$54.99

Supersymmetries and Quantum Symmetries

$39.99

Soziale Bildungsarbeit - Europische Debatten und Projekte

$34.99

Recent Advances in Applications of Computational and Fuzzy Mathematics

$109.99

The Coronas-F Space Mission

$109.99

Computational Modeling of Neural Activities for Statistical Inference

$54.99

The Geology and Tectonic Settings of China's Mineral Deposits

$89.00

Gesundheitsvorsorge bei Kindern

$39.99

Concise Guide to Hematology

$99.00

Regaining Marxism

$169.99

Stereoscopic Image Quality Assessment

$84.99

Chemical Changes in Food during Processing

$39.99

Security and Privacy in Communication Networks

$39.99

Fahrgastrechte und -pflichten der PNV-Linienverkehre nach dem PBefG

$29.99

Race, Gender, and Leadership in Nonprofit Organizations

$54.99

Verhandlungen der Deutschen Gesellschaft fr Innere Medizin

$59.99

B2B Integration

$54.99

Problem Solving in Business and Management

$39.99

Europawahlkampf 2014

$44.99

Summer Days And Nights

$5.21

Einsteins Vision

$79.99

Eclipsing Binary Stars: Modeling and Analysis

$139.00

Distributed Autonomous Robotic Systems

$129.00

New Treatment Modalities in Rectal Cancer

$99.99

Information Security

$74.99

Hamiltonian Dynamical Systems and Applications

$219.99

Handbook of Practical Astronomy

$99.99

HTML5 and JavaScript Projects

$29.99

Aviation in the Literature and Culture of Interwar Britain

$119.00

Bernard Mandevilles A Modest Defence of Publick Stews

$54.99

Economic Science and Political Economy

$39.99

Transactions of the Seventh Prague Conference

$109.99

Fhrungsfaktor Psychologie

$64.99

Oeuvres Scientifiques - Collected Papers III

$69.99

Prolegomena Einer Medizinischen Anthropologie

$64.99