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

Formal Techniques for Safety-Critical Systems

Best Price (Coupon Required):
Buy Formal Techniques for Safety-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
9783319539454
Condition
New
Product Description

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Einfhrung in die Statistik mit EXCEL und SPSS

Einfhrung in die Statistik mit EXCEL und SPSS

$29.99
Die menschliche (Hoch)schule - Human(e) Education

Die menschliche (Hoch)schule - Human(e) Education

$89.99
Narrative as Dialectic Abduction

Narrative as Dialectic Abduction

$109.99
Reachability Problems

Reachability Problems

$64.99
Problems of Nonlinear Mechanics and Physics of Materials

Problems of Nonlinear Mechanics and Physics of Materials

$129.00
The Margins of European Law

The Margins of European Law

$109.00
Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites, Volume 2

Biosynthesis and Molecular Genetics of Fungal Secondary Metabolites, Volume 2

$109.99
Gentests im Unternehmen

Gentests im Unternehmen

$69.99
Multivariate Approximation Theory III

Multivariate Approximation Theory III

$39.99
Urbanization and Its Impact in Contemporary China

Urbanization and Its Impact in Contemporary China

$64.99
How to Trick a Christmas Elf

How to Trick a Christmas Elf

$3.71
Smart Graphics

Smart Graphics

$54.99
Disability and Modern Fiction

Disability and Modern Fiction

$54.99
Mercury Pollution in Minamata

Mercury Pollution in Minamata

$24.99
Transactions on Rough Sets IX

Transactions on Rough Sets IX

$84.99
Little You / Pequeito

Little You / Pequeito

$5.21
Theory of Program Structures

Theory of Program Structures

$19.99
Den Ttern auf der Spur

Den Ttern auf der Spur

$24.99
Distant Hybridization of Crop Plants

Distant Hybridization of Crop Plants

$84.99
Niederlndische Sozialhilfe- und Arbeitsmarktpolitik

Niederlndische Sozialhilfe- und Arbeitsmarktpolitik

$59.99
E-Shock

E-Shock

$39.99
Fundamentals of Robotics Engineering

Fundamentals of Robotics Engineering

$119.00
Preisdifferenzierung im Omni Channel-Handel

Preisdifferenzierung im Omni Channel-Handel

$84.99
Die Entstehung des Neuen in der Adoleszenz

Die Entstehung des Neuen in der Adoleszenz

$69.99
Recognition in International Relations

Recognition in International Relations

$54.99
Netzwerke multinationaler Banken

Netzwerke multinationaler Banken

$69.99
Torhter im Profifuball  Werden und Sein

Torhter im Profifuball Werden und Sein

$59.99
The Jews of the Ottoman Empire and the Turkish Republic

The Jews of the Ottoman Empire and the Turkish Republic

$169.99
Java-Intensivkurs

Java-Intensivkurs

$39.99
Hormone-Related Malignant Tumors

Hormone-Related Malignant Tumors

$109.99
Generalized Adjoint Systems

Generalized Adjoint Systems

$54.99
Berufskrebs und Krebsforschung. Die Situation der Krebsforschung vom Standpunkt der Klinik

Berufskrebs und Krebsforschung. Die Situation der Krebsforschung vom Standpunkt der Klinik

$59.99
The Patella

The Patella

$219.99
Biomedical Applications of Immobilized Enzymes and Proteins

Biomedical Applications of Immobilized Enzymes and Proteins

$39.99
Fundamentals of Superconducting Nanoelectronics

Fundamentals of Superconducting Nanoelectronics

$199.99
Noncommutative Functional Calculus

Noncommutative Functional Calculus

$39.99
Morphology and Dynamics of Bottlebrush Polymers

Morphology and Dynamics of Bottlebrush Polymers

$199.99
Princess Peppa and the Royal Ball

Princess Peppa and the Royal Ball

$3.74
CFD for Wind and Tidal Offshore Turbines

CFD for Wind and Tidal Offshore Turbines

$84.99
Stochastic SpaceTime Models and Limit Theorems

Stochastic SpaceTime Models and Limit Theorems

$54.99
previous
next