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

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Lese-Rechtschreibstrung

Lese-Rechtschreibstrung

$29.99
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Commu

NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Commu

$169.99
Glutamate and Neuropsychiatric Disorders

Glutamate and Neuropsychiatric Disorders

$189.00
Transactions on Computational Science VII

Transactions on Computational Science VII

$39.99
Erfolgsprinzip Persnlichkeit

Erfolgsprinzip Persnlichkeit

$29.99
Peace Building in Northern Ireland, Israel and South Africa

Peace Building in Northern Ireland, Israel and South Africa

$109.99
Excellence in Banking Revisited!

Excellence in Banking Revisited!

$84.99
Transfictional Character and Transmedia Storyworlds in the British Nineteenth Century

Transfictional Character and Transmedia Storyworlds in the British Nineteenth Century

$129.99
2021 International Conference on Big Data Analytics for Cyber-Physical System in Smart City

2021 International Conference on Big Data Analytics for Cyber-Physical System in Smart City

$189.00
Philanthropy, Innovation and Entrepreneurship

Philanthropy, Innovation and Entrepreneurship

$69.99
Augenrztliche Operationslehre

Augenrztliche Operationslehre

$59.99
Error Coding for Engineers

Error Coding for Engineers

$84.99
Dermatologic Complications with Body Art

Dermatologic Complications with Body Art

$179.00
Social Science Perspectives on Medical Ethics

Social Science Perspectives on Medical Ethics

$169.00
Economics and Modern Warfare

Economics and Modern Warfare

$119.99
Ready To Read Collection Grades 1-2

Ready To Read Collection Grades 1-2

$6.36
Madness and Social Change

Madness and Social Change

$84.99
History of Rome

History of Rome

$74.99
Proceedings of the Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016)

Proceedings of the Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016)

$169.99
The Cold War Politics of Genetic Research

The Cold War Politics of Genetic Research

$109.99
The Gingerbread Girl

The Gingerbread Girl

$4.46
Die asynchronen Wechselstrommaschinen

Die asynchronen Wechselstrommaschinen

$59.99
Operations Research in Transportation Systems

Operations Research in Transportation Systems

$219.99
Multi-Robot Systems: From Swarms to Intelligent Automata, Volume II

Multi-Robot Systems: From Swarms to Intelligent Automata, Volume II

$169.99
Ethical Discourse in Finance

Ethical Discourse in Finance

$169.99
Netzwerkfluprobleme

Netzwerkfluprobleme

$39.99
Mapping Data Flows in Azure Data Factory

Mapping Data Flows in Azure Data Factory

$44.99
Edible Insects in the Food Sector

Edible Insects in the Food Sector

$139.99
Erfolgreiches Marketing fr die Arztpraxis

Erfolgreiches Marketing fr die Arztpraxis

$39.99
Rethinking Regional Innovation and Change: Path Dependency or Regional Breakthrough

Rethinking Regional Innovation and Change: Path Dependency or Regional Breakthrough

$129.00
Emerging Technology for Sustainable Development

Emerging Technology for Sustainable Development

$199.99
Performance-Measurement-Systeme und der Faktor Mensch

Performance-Measurement-Systeme und der Faktor Mensch

$69.99
Verzeichnis der Spezialbibliotheken in der Bundesrepublik Deutschland einschlielich West-Berlin

Verzeichnis der Spezialbibliotheken in der Bundesrepublik Deutschland einschlielich West-Berlin

$44.99
Anlegen am Wendepunkt

Anlegen am Wendepunkt

$59.99
To Mean  To Understand

To Mean To Understand

$54.99
Implizites Wissen in Organisationen

Implizites Wissen in Organisationen

$59.99
Technokonomie der Energiewende

Technokonomie der Energiewende

$17.99
An Oscillation Theorem for Algebraic Eigenvalue Problems and its Applications

An Oscillation Theorem for Algebraic Eigenvalue Problems and its Applications

$54.99
Systems Biological Approaches in Infectious Diseases

Systems Biological Approaches in Infectious Diseases

$219.99
Theoretical Aspects of Homogeneous Catalysis

Theoretical Aspects of Homogeneous Catalysis

$169.99
previous
next