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

Decision Support for Forest Management

Decision Support for Forest Management

$129.00
Green Chemistry

Green Chemistry

$54.99
Linear Differential Equations and Group Theory from Riemann to Poincare

Linear Differential Equations and Group Theory from Riemann to Poincare

$79.99
Stem Cells

Stem Cells

$179.99
Emerging Trends in Data Driven Computing and Communications

Emerging Trends in Data Driven Computing and Communications

$249.99
Wundheilungsprobleme

Wundheilungsprobleme

$59.99
A History of Central Europe

A History of Central Europe

$32.99
Advances in Geroscience

Advances in Geroscience

$169.99
Fractography of Glass

Fractography of Glass

$249.99
Kaufprozesse im Electronic Commerce

Kaufprozesse im Electronic Commerce

$64.99
Pipeline Systems

Pipeline Systems

$219.99
Pete the Cat: Pete the Cat and the Great Leprechaun Chase

Pete the Cat: Pete the Cat and the Great Leprechaun Chase

$3.71
Global Inclusive Education

Global Inclusive Education

$109.99
Produktionscontrolling und -management mit SAP ERP

Produktionscontrolling und -management mit SAP ERP

$69.99
Angewandte Regelungs- und Automatisierungstechnik

Angewandte Regelungs- und Automatisierungstechnik

$29.99
RNA Tumor Viruses, Oncogenes, Human Cancer and AIDS: On the Frontiers of Understanding

RNA Tumor Viruses, Oncogenes, Human Cancer and AIDS: On the Frontiers of Understanding

$169.00
Entreplexity = Entrepreneurship + Complexity

Entreplexity = Entrepreneurship + Complexity

$49.99
The Practice of Econometrics

The Practice of Econometrics

$39.99
Progress on Difference Equations and Discrete Dynamical Systems

Progress on Difference Equations and Discrete Dynamical Systems

$149.00
Figurations of Human Subjectivity

Figurations of Human Subjectivity

$49.99
Web and Wireless Geographical Information Systems

Web and Wireless Geographical Information Systems

$54.99
Seismic Ground Response Analysis

Seismic Ground Response Analysis

$199.99
Green Energy (A True Book: A Green Future)

Green Energy (A True Book: A Green Future)

$5.99
Applied Statistical Methods in Agriculture, Health and Life Sciences

Applied Statistical Methods in Agriculture, Health and Life Sciences

$79.99
Materials Science with Ion Beams

Materials Science with Ion Beams

$129.00
Multiple Criteria Decision Making

Multiple Criteria Decision Making

$139.00
Vision und Wandel

Vision und Wandel

$34.99
Advances in Geometry

Advances in Geometry

$84.99
Macht und Herrschaft

Macht und Herrschaft

$49.99
Die postmortale Gesellschaft

Die postmortale Gesellschaft

$39.99
Authoritarian Neoliberalism and Resistance in Turkey

Authoritarian Neoliberalism and Resistance in Turkey

$59.99
Microbial Diversity and Biotechnology in Food Security

Microbial Diversity and Biotechnology in Food Security

$169.00
Science Education and Culture

Science Education and Culture

$109.99
The Lunar Atmosphere and Dust Environment Explorer Mission (LADEE)

The Lunar Atmosphere and Dust Environment Explorer Mission (LADEE)

$109.99
Criminal Injustice

Criminal Injustice

$39.99
Advances in Sustainable Development

Advances in Sustainable Development

$199.99
Fair Trade and the Citizen-Consumer

Fair Trade and the Citizen-Consumer

$39.99
The Politician

The Politician

$64.99
Fokusgruppen in der empirischen Sozialwissenschaft

Fokusgruppen in der empirischen Sozialwissenschaft

$79.99
Work and Quality of Life

Work and Quality of Life

$259.00
previous
next