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

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The conference also featured invited talks by Jaco van de Pol (Aarhus University, and Twente University), jointly with CONCUR, and Holger Hermanns (Universitt des Saarlandes) and a special session on (commercial) formal methods in industry. The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series 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

Reviews of Environmental Contamination and Toxicology

Reviews of Environmental Contamination and Toxicology

$109.99
Modellbildung in der Informatik

Modellbildung in der Informatik

$39.99
Plane Elastic Systems

Plane Elastic Systems

$54.99
Auxiliary Signal Design in Fault Detection and Diagnosis

Auxiliary Signal Design in Fault Detection and Diagnosis

$39.99
Isolation, Characterization and Utilization of CNS Stem Cells

Isolation, Characterization and Utilization of CNS Stem Cells

$109.99
Nature, Artforms, and the World Around Us

Nature, Artforms, and the World Around Us

$119.99
Algorithms and Discrete Applied Mathematics

Algorithms and Discrete Applied Mathematics

$74.99
Probability-Based Multi-objective Optimization for Material Selection

Probability-Based Multi-objective Optimization for Material Selection

$84.99
The Universe in X-Rays

The Universe in X-Rays

$169.99
Basics of Musculoskeletal Ultrasound

Basics of Musculoskeletal Ultrasound

$89.00
Cooperative Knowledge Processing for Engineering Design

Cooperative Knowledge Processing for Engineering Design

$219.99
Upper Airway Disorders and Noninvasive Mechanical Ventilation

Upper Airway Disorders and Noninvasive Mechanical Ventilation

$109.99
Welt im Wandel: Grundstruktur globaler Mensch-Umwelt-Beziehungen

Welt im Wandel: Grundstruktur globaler Mensch-Umwelt-Beziehungen

$44.99
Grundbegriffe der Wirtschaft

Grundbegriffe der Wirtschaft

$79.99
Pricing and Regulatory Innovations Under Increasing Competition

Pricing and Regulatory Innovations Under Increasing Competition

$109.99
Combinatorial Optimization and Applications

Combinatorial Optimization and Applications

$54.99
Analysis and Design of Machine Learning Techniques

Analysis and Design of Machine Learning Techniques

$39.99
Theory of Phase Transitions in Polypeptides and Proteins

Theory of Phase Transitions in Polypeptides and Proteins

$109.99
Developer Relations

Developer Relations

$34.99
Democratization in the Global South

Democratization in the Global South

$54.99
Statics and Influence Functions

Statics and Influence Functions

$199.99
Distributed Energy Resources

Distributed Energy Resources

$139.99
Clear Speech

Clear Speech

$37.99
Social Responsibility in Tourism

Social Responsibility in Tourism

$129.99
Augmenting Crop Productivity in Stress Environment

Augmenting Crop Productivity in Stress Environment

$249.99
Closed Object Boundaries from Scattered Points

Closed Object Boundaries from Scattered Points

$39.99
Die Tuberkulose vom Standpunkt des Internisten

Die Tuberkulose vom Standpunkt des Internisten

$59.99
Chemikalien und Drogen Teil C: TZ

Chemikalien und Drogen Teil C: TZ

$54.99
Anatomie und Physiologie der Capillaren

Anatomie und Physiologie der Capillaren

$59.99
Krperunzufriedenheit bei Mdchen im Jugendalter

Krperunzufriedenheit bei Mdchen im Jugendalter

$84.99
Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media

Proceedings of the International Conference on Cybersecurity, Situational Awareness and Social Media

$169.00
Addition & Subtraction to Grade 2 Differentiation Pack

Addition & Subtraction to Grade 2 Differentiation Pack

$5.99
Strukturwandel der Legitimation  Das Ende absoluter Werte

Strukturwandel der Legitimation Das Ende absoluter Werte

$59.99
Seismogenesis and Earthquake Forecasting: The Frank Evison Volume II

Seismogenesis and Earthquake Forecasting: The Frank Evison Volume II

$54.99
Pharmacokinetics

Pharmacokinetics

$54.99
Sterben und Tod Eine kulturvergleichende Analyse

Sterben und Tod Eine kulturvergleichende Analyse

$59.99
Betaferon

Betaferon

$49.99
Machine Learning for Predictive Analysis

Machine Learning for Predictive Analysis

$329.99
Provenance and Annotation of Data and Processes

Provenance and Annotation of Data and Processes

$39.99
Wise Growth Strategies in Leading Family Businesses

Wise Growth Strategies in Leading Family Businesses

$54.99
previous
next