Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods for Industrial Critical Systems

Best Price (Coupon Required):
Buy Formal Methods for Industrial Critical Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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

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

Product Details

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

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Building Better Interfaces for Remote Autonomous Systems

Building Better Interfaces for Remote Autonomous Systems

$24.99
Social Entrepreneurship and Tourism

Social Entrepreneurship and Tourism

$199.99
Peppa Pig: Peppa Goes Apple Picking

Peppa Pig: Peppa Goes Apple Picking

$3.74
Selected Studies in Geophysics, Tectonics and Petroleum Geosciences

Selected Studies in Geophysics, Tectonics and Petroleum Geosciences

$299.99
Strike the Rock and There Shall Come Water

Strike the Rock and There Shall Come Water

$54.99
Retroperitoneal Tumors

Retroperitoneal Tumors

$99.00
Sustainable Agriculture Reviews 37

Sustainable Agriculture Reviews 37

$169.99
Knstliche radioaktive Isotope in Physiologie, Diagnostik und Therapie

Knstliche radioaktive Isotope in Physiologie, Diagnostik und Therapie

$54.99
Nonlinear Structural Engineering

Nonlinear Structural Engineering

$129.00
PISA Under Examination

PISA Under Examination

$49.99
All About Manatees

All About Manatees

$5.24
Advances in Image and Video Technology

Advances in Image and Video Technology

$54.99
Strategische Wettbewerbsbeobachtung

Strategische Wettbewerbsbeobachtung

$79.99
Financial Structures and Regulation: A Comparison of Crises in the UK, USA and Italy

Financial Structures and Regulation: A Comparison of Crises in the UK, USA and Italy

$109.99
The Vitreous State

The Vitreous State

$74.99
Bayesian Data Analysis for Animal Scientists

Bayesian Data Analysis for Animal Scientists

$79.99
Advanced Intelligent Computing Technology and Applications

Advanced Intelligent Computing Technology and Applications

$79.99
ICM-90 Satellite Conference Proceedings

ICM-90 Satellite Conference Proceedings

$54.99
Marx, Marginalism and Modern Sociology

Marx, Marginalism and Modern Sociology

$169.99
Das Image von Journalisten

Das Image von Journalisten

$69.99
Liberals against Apartheid

Liberals against Apartheid

$169.99
Nonlinear Oscillations in Biology and Chemistry

Nonlinear Oscillations in Biology and Chemistry

$54.99
Free-Radical-Induced DNA Damage and Its Repair

Free-Radical-Induced DNA Damage and Its Repair

$329.99
Untersuchungen zur Haftfestigkeit feuerfester Mrtel bei hohen Temperaturen

Untersuchungen zur Haftfestigkeit feuerfester Mrtel bei hohen Temperaturen

$84.99
Proceedings of the 9th International Symposium on Superalloy 718 & Derivatives: Energy, Aerospace, a

Proceedings of the 9th International Symposium on Superalloy 718 & Derivatives: Energy, Aerospace, a

$219.99
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and A

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and A

$39.99
Wearable/Personal Monitoring Devices Present to Future

Wearable/Personal Monitoring Devices Present to Future

$199.99
Computer Aided Systems Theory  EUROCAST 2005

Computer Aided Systems Theory EUROCAST 2005

$109.99
Unpolitische Jugend?

Unpolitische Jugend?

$69.99
Crash

Crash

$6.71
Grundlagen der Programmiersprachen

Grundlagen der Programmiersprachen

$49.99
Corporate Shitstorm Management

Corporate Shitstorm Management

$17.99
Recent Progress in Lead-Free Solder Technology

Recent Progress in Lead-Free Solder Technology

$149.00
MEMS-based Circuits and Systems for Wireless Communication

MEMS-based Circuits and Systems for Wireless Communication

$109.99
Untersuchung von Sinterstoffen auf Eisen- und Zinnbronze-Basis mit hoher Verschleifestigkeit

Untersuchung von Sinterstoffen auf Eisen- und Zinnbronze-Basis mit hoher Verschleifestigkeit

$69.99
Machine Learning in Medicine - a Complete Overview

Machine Learning in Medicine - a Complete Overview

$79.99
Third-Party Liability of Classification Societies

Third-Party Liability of Classification Societies

$99.00
Psychosocial Impact of Polygamy in the Middle East

Psychosocial Impact of Polygamy in the Middle East

$109.99
Financial Enterprise in South Africa since 1950

Financial Enterprise in South Africa since 1950

$39.99
Food Security in the Economy of the Future

Food Security in the Economy of the Future

$199.99
previous
next