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
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
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

Die Tracheobronchial- Tuberkulose der Erwachsenen

$34.99

The Impact of Service Oriented Architecture Adoption on Organizations

$54.99

Amaurosis Fugax

$84.99

Next Generation Science Standards Collection Grade 5

$275.00

Dangerous Strangers

$39.99

Principles of Engineering Geology

$84.99

Debating Cuban Exceptionalism

$54.99

Gefsshaut Linse Glaskrper Nethaut Papille und Opticus

$74.99

Unstable Systems

$109.99

Sozialstruktur des Betriebes

$59.99

Methods and Techniques for Preventing and Mitigating Water Hazards in Mines

$199.99

Equity, Efficiency, and Ethics in Remedies for Breach of Contract

$129.99

Amorphous and Liquid Materials

$169.00

Topics in the Mathematical Modelling of Composite Materials

$39.99

Advances in Mechanical Engineering

$199.99

Atlas of Robotic Cardiac Surgery

$219.99

Modelling of Complex Signals in Nerves

$84.99

Handbuch Essstrungen und Adipositas

$99.99

Central Neurotransmitter Turnover

$54.99

Praxishandbuch Fernsehen

$9.99

Abwehr und Anerkennung in der Klimakrise

$59.99

The Pragmatics of Indirect Reports

$39.99

Bad History and the Logics of Blockbuster Cinema

$54.99

Neuropsychologische Therapie mit Kindern und Jugendlichen

$69.99

Unterrichtstechnologie

$59.99

Financing Armed Conflict, Volume 1

$109.00

Complexity, Language, and Life: Mathematical Approaches

$54.99

Modern Developments in Powder Metallurgy

$109.99

Captive Insurance Company

$64.99

Morphologische und funktionelle Untersuchungen zur Neurosekretbildung

$69.99

The Relationship between Regime Type and Civic Education

$119.99

Remarkable Me: I am a Smink

$4.46

Heat Waves

$169.00

Italian Syntax

$169.99

Periodic Solutions of the N-Body Problem

$34.99

European Union Research Policy

$89.99

Soziologie in Sdafrika

$19.99

Carbon and Nitrogen in the Terrestrial Environment

$169.99

Exploiting Nonlinear Behavior in Structural Dynamics

$84.99

Hybrid Knowledge in the Early East India Company World

$139.99