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

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised full papers presented together with two invited talks were carefully reviewed and selected from 40 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Handbuch Projektmanagement

$64.99

Militr und Demokratie in Deutschland

$39.99

The University in the Age of Globalization

$39.99

Therapeutische Beziehung und die Behandlung chronischer Depressionen

$69.99

Rechneruntersttzte Gestaltung und Darstellung Dreidimensionaler technischer Gebilde mit beliebig ge

$54.99

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

$39.99

YSEC Yearbook of Socio-Economic Constitutions 2020

$199.99

Cognition and Sentence Production

$109.99

Elektronik-Aufgaben Analoge Schaltungen

$44.99

White Noise on Bialgebras

$24.99

Oil Pollution in the North Sea

$169.00

Uberpreneurs

$24.99

Carbon Reinforcements and Carbon/Carbon Composites

$109.00

Recent Advances in Statistical Research and Data Analysis

$39.99

How to Measure Angles from Foot Radiographs

$54.99

Programming the ARM Cortex-M4-based STM32F4 Microcontrollers with Simulink

$49.99

Scale Systems: Decentralization, Structure Constraints, and Fixed Modes

$39.99

Intercultural Communication Education

$54.99

Legumes for Soil Health and Sustainable Management

$249.99

Artificial Intelligence for Smart Healthcare

$179.99

Hepatitis B Virus and Liver Disease

$89.00

Strategic Innovation in Russia

$109.99

Excel Applied Statistics for High School Students

$39.99

Immigrants on Grindr

$39.99

Reducing Breast Cancer Risk in Women

$219.99

Gender medienkompetent

$59.99

Intelligent and Soft Computing in Infrastructure Systems Engineering

$129.00

Teletraffic

$99.00

The Cupcake Diaries Collection 2 Boxed Set - Katie, Batter Up! Mia's Baker's Dozen, Emma All Stirred Up! Alexis Cool as a Cupcake by Coco Simon

$27.99

The Calculus of Variations and Optimal Control

$109.99

Siebenstellige Logarithmen und Antilogarithmen

$49.99

Molecular Basis of Lymphokine Action

$219.99

Analysis and Design of Descriptor Linear Systems

$54.99

Mixture Models and Applications

$109.99

African Farmers, Value Chains and Agricultural Development

$139.99

Plant Male Sterility Systems for Accelerating Crop Improvement

$169.99

Drosophila Oogenesis

$129.00

The Potential of Massive Open Online Courses in the Context of Corporate Training and Development

$59.99

Arbeitszeitverkrzung Ein Weg zur Vollbeschftigung?

$69.99

The Globalisation of Higher Education

$89.00