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

Formal Techniques for Safety-Critical Systems

Best Price:
Buy Formal Techniques for Safety-Critical Systems for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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

$39.99
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 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

Reviews

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

Questions & Answers

Similar Products

Materialflu und Logistik

Materialflu und Logistik

$44.99
Was ist ein Migrationsregime? What Is a Migration Regime?

Was ist ein Migrationsregime? What Is a Migration Regime?

$59.99
The SoussMassa River Basin, Morocco

The SoussMassa River Basin, Morocco

$259.00
Surgical Intensive Care Medicine

Surgical Intensive Care Medicine

$249.99
Textbook of Hernia

Textbook of Hernia

$199.99
Re-negotiating Gender

Re-negotiating Gender

$109.99
Post-Transcriptional Gene Regulation

Post-Transcriptional Gene Regulation

$139.99
Auslandsbau

Auslandsbau

$29.95
Neuroinflammation and Neurodegeneration

Neuroinflammation and Neurodegeneration

$169.99
Bargaining Power

Bargaining Power

$39.99
Changes in Work and Family Life in Japan Under COVID-19

Changes in Work and Family Life in Japan Under COVID-19

$44.99
Signale - Prozesse - Systeme

Signale - Prozesse - Systeme

$64.99
Virtual Reality in der Produktentwicklung

Virtual Reality in der Produktentwicklung

$84.99
Statistical Field Theories

Statistical Field Theories

$109.99
Plant Cell Culture Protocols

Plant Cell Culture Protocols

$129.00
Getting Started with Containers in Azure

Getting Started with Containers in Azure

$59.99
Arbeitszeit, Betriebszeit und Beschftigung

Arbeitszeit, Betriebszeit und Beschftigung

$49.99
A Feasible Basic Income Scheme for Germany

A Feasible Basic Income Scheme for Germany

$84.99
Quality, Reliability, Security and Robustness in Heterogeneous Networks

Quality, Reliability, Security and Robustness in Heterogeneous Networks

$109.99
Foundations of Data Organization and Algorithms

Foundations of Data Organization and Algorithms

$39.99
Diamond and Diamond-like Films and Coatings

Diamond and Diamond-like Films and Coatings

$84.99
Die soziale Ordnung des Grundgesetzes

Die soziale Ordnung des Grundgesetzes

$64.99
Ansthesie. Fragen und Antworten

Ansthesie. Fragen und Antworten

$34.99
Software Engineering and Formal Methods

Software Engineering and Formal Methods

$54.99
Manual of Offshore Surveying for Geoscientists and Engineers

Manual of Offshore Surveying for Geoscientists and Engineers

$169.99
Mykosebehandlung mit Imidazolderivaten

Mykosebehandlung mit Imidazolderivaten

$69.99
Incidental Radiological Findings

Incidental Radiological Findings

$109.99
Constitutional Resilience and the COVID-19 Pandemic

Constitutional Resilience and the COVID-19 Pandemic

$139.99
Euro-Asian Encounters on 21st-Century Competency-Based Curriculum Reforms

Euro-Asian Encounters on 21st-Century Competency-Based Curriculum Reforms

$179.99
Advances in Green Energy Systems and Smart Grid

Advances in Green Energy Systems and Smart Grid

$39.99
Epigenome Editing

Epigenome Editing

$169.00
The Rule of Law History, Theory and Criticism

The Rule of Law History, Theory and Criticism

$219.99
The Fallacy of Corporate Moral Agency

The Fallacy of Corporate Moral Agency

$39.99
Resource Selection by Animals

Resource Selection by Animals

$129.00
Automotive Control Systems

Automotive Control Systems

$129.99
Entwicklungstendenzen der Gaserzeugung

Entwicklungstendenzen der Gaserzeugung

$54.99
Trends in PDE Constrained Optimization

Trends in PDE Constrained Optimization

$139.99
Integrated Bank Analysis and Valuation

Integrated Bank Analysis and Valuation

$54.99
Deutschland nach der Wende

Deutschland nach der Wende

$59.99
Skin Tumors and Reactions to Cancer Therapy in Children

Skin Tumors and Reactions to Cancer Therapy in Children

$54.99
previous
next