Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

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

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015. The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Xbooks-Tyrants: Conquistador

$5.21

Participatory Politics and Citizen Journalism in a Networked Africa

$119.99

A to Z Mysteries: The Quicksand Question

$5.21

Public Policy in the 'Asian Century'

$219.99

Einfhrung in UML

$34.99

Welington de Melo - Selected Works

$179.99

Auftragsmanagement der industriellen Produktion

$119.99

Enhancing Cognitive Fitness in Adults

$109.99

The Art and Science of Compassionate Care: A Practical Guide

$39.99

Thermoradiotherapy and Thermochemotherapy

$219.99

Machine Learning, Image Processing, Network Security and Data Sciences

$54.99

The Physiology of Microalgae

$259.00

Dopaminergic Neuron Transplantation in the Weaver Mouse Model of Parkinsons Disease

$84.99

Einfhrung in die Vektorrechnung

$49.99

Zinc Biochemistry, Physiology, and Homeostasis

$109.99

The Respiratory Functions of Blood

$39.99

Krisendiskurse und kapitalistische Entwicklungspfade

$44.99

Cardiovascular Risk Assessment in Primary Prevention

$249.99

Personality in Intimate Relationships

$39.99

Adaptive Strategies for Water Heritage

$59.99

Men of War

$4.99

Latvia's Transition to a Market Economy

$169.99

Bericht ber die Siebenundvierzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft in

$59.99

Untwine

$8.99

Medical Applications of Synchrotron Radiation

$54.99

System Lifecycle Management

$109.99

Die Entstehung des Dieselmotors

$84.99

Progress in Cryptology LATINCRYPT 2023

$74.99

The Midbrain Periaqueductal Gray Matter

$219.99

International Conference on Communication, Computing and Electronics Systems

$299.99

Continuous Nonlinear Optimization for Engineering Applications in GAMS Technology

$139.00

Language and Cognition

$109.99

Interne Kommunikation mit digitalen Medien

$17.99

Multivariate Analysemethoden

$79.99

D. H. Lawrences Language of Sacred Experience

$54.99

Managing in a Global World

$59.99

Riemann Surfaces

$59.99

Principles of Data Mining and Knowledge Discovery

$84.99

The Palgrave Handbook of Urban Ethnography

$249.99

Islam - Skularismus - Religionsrecht

$84.99