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

This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.

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

Explosion-Proof Equipment in Hazardous Area

$129.00

Combinatorial Optimization in Communication Networks

$129.00

Charge-Coupled Devices

$39.99

Handbook of Integrative Dermatology

$139.99

Molecular Modeling and Multiscaling Issues for Electronic Material Applications

$109.99

Computerdynamik der Tragwerke

$64.99

Erfolgreiche Personalauswahl

$59.99

Color Atlas of Nails

$99.00

Demokratiebewegung und Revolution 1847 bis 1849

$59.99

The Oddmire: Changeling

$5.96

The Euro, Inflation and Consumers' Perceptions

$84.99

Spectroscopy from Space

$109.99

Virtuelle und mgliche Welten in Physik und Philosophie

$37.99

The Origins of Asset Management from 1700 to 1960

$39.99

Physikalische Chemie I: Thermodynamik und Kinetik

$44.99

Technological Innovation for Value Creation

$109.99

Practical Aspects of Declarative Languages

$39.99

Infectious Diseases from Nature: Mechanisms of Viral Emergence and Persistence

$219.99

Verfahrenstechnik der Grundwasserhaltung

$69.99

XPS-99: Knowledge-Based Systems - Survey and Future Directions

$54.99

Worldwide Advances in Communication Networks

$84.99

The North Korean Regime under Kim Jong-un

$89.00

Sozialwissenschaften und Militr

$74.99

Knot Theory and Manifolds

$29.99

Culture, Madness and Wellbeing

$129.99

ber die Stabilitt des einfachen Bedienungskanals

$79.99

Designing Cost Management Systems to Support Business Decision-Making

$54.99

The New Book of Prime Number Records

$109.99

Die Rettungsdienst-Prfung

$24.99

Versuche mit Riemen- und Seiltrieben

$59.99

Magnetic Recording Handbook

$139.99

Geometry and Quantum Physics

$84.99

Schadenderivate

$49.99

National Brands and Private Labels in Retailing

$109.99

Competitiveness Strategies for Negative Organizations

$169.99

Helix Network Theory

$169.99

Die Medicinischen Verbandmaterialien mit besonderer Bercksichtigung ihrer Gewinnung, Fabrikation, U

$84.99

UV-VIS and Photoluminescence Spectroscopy for Nanomaterials Characterization

$169.00

MicroRNA Protocols

$139.99

STEAM Education

$179.99