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 Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

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

This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.

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

Biotechnology Applications in Beverage Production

$54.99

Nat Enough Graphix Grades 6-8

$47.00

Fhrungskompetenz in der ffentlichen Verwaltung

$74.99

Theory and Practice of Wireless Sensor Networks: Cover, Sense, and Inform

$109.99

Mucosal Immunology and Virology

$89.00

Information Security

$39.99

Performance und Skalierung von SAP ERP Systemen in virtualisierten Umgebungen

$64.99

The Firework-Maker's Daughter

$4.49

Schwangerschaftsabbruch

$39.99

Phase Transitions in Surface Films 2

$84.99

Kulturelle Kommunikation in internationalen Unternehmen

$59.99

Imaging of Soft Tissue Tumors

$249.99

The Management of Meniscal Pathology

$139.99

Discovery Science

$39.99

Personal Politik

$29.99

Zur Orthologie und Pathologie der Arteria vertebralis

$59.99

Die Belastungsverhltnisse in Fllkrpersulen unter Destillationsbedingungen

$59.99

Outsourcing bei Banken

$79.99

ITSM: An Interactive Time Series Modelling Package for the PC

$54.99

Advances in Stereology for Neuroscience

$219.99

Big Data Application Architecture Q&A

$44.99

The US Role in NATOs Survival After the Cold War

$99.99

Annals of Systems Research

$109.99

Massenmedien und Internet

$49.99

Large-Scale Networks in Engineering and Life Sciences

$54.99

Volkswirtschaftslehre

$44.99

Der Beruf des Buchhalters

$59.99

Bifurcation Control

$129.00

News und Fake News zum Thema Impfen

$79.99

Tibetische Medizin fr den Westen

$59.99

Management of Positive Patch Test Reactions

$54.99

Rntgendiagnostik von Zahn- und Kiefererkrankungen

$89.00

Die V. Republik

$59.99

Advances in Hybrid RANS-LES Modelling

$169.00

Ludwig Tieck

$19.99

Computing with T.Node Parallel Architecture

$129.00

Biology and Ecology of Earthworms

$279.99

Psychology and Philosophy

$169.99

Methods in Membrane Lipids

$169.99

Bourdieu, Habitus and Social Research

$19.99