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

Formal Methods for Safety and Security

Best Price (Coupon Required):
Buy Formal Methods for Safety and Security for $72.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: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$72.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
$79.99 $79.99

10% OFF
This deals requires coupon
$72.00
See Site In stock Visit Store

Product Details

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

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

QoS-based Wavelength Routing in Multi-Service WDM Networks

QoS-based Wavelength Routing in Multi-Service WDM Networks

$39.99
Extracellular Sugar-Based Biopolymers Matrices

Extracellular Sugar-Based Biopolymers Matrices

$169.99
Assessment for Learning: Meeting the Challenge of Implementation

Assessment for Learning: Meeting the Challenge of Implementation

$169.99
How We Learn and Become Experts

How We Learn and Become Experts

$54.99
Finite Element Methods

Finite Element Methods

$199.99
Existence: Semantics and Syntax

Existence: Semantics and Syntax

$149.00
The Person in Narrative Therapy

The Person in Narrative Therapy

$129.99
Monster

Monster

$2.33
Anforderungsmanagement

Anforderungsmanagement

$69.99
Dagstuhl-Seminar 1997

Dagstuhl-Seminar 1997

$69.95
Verhandlungsbericht der Deutschen Gesellschaft fr Urologie

Verhandlungsbericht der Deutschen Gesellschaft fr Urologie

$59.99
Lsungen und Adsorption

Lsungen und Adsorption

$84.99
The Belief in a Just World

The Belief in a Just World

$249.99
Der Ruf von Branchen

Der Ruf von Branchen

$69.99
Maria Tallchief

Maria Tallchief

$5.21
Autismus und Schule

Autismus und Schule

$39.99
Festkrperprobleme 13

Festkrperprobleme 13

$54.99
Advanced Microsystems for Automotive Applications 98

Advanced Microsystems for Automotive Applications 98

$84.99
Der Hansakanal (Industrie-Seehfen-Kanal)

Der Hansakanal (Industrie-Seehfen-Kanal)

$54.99
Stadtgeschichte als Kindheitsgeschichte

Stadtgeschichte als Kindheitsgeschichte

$59.99
Information Retrieval: A Biomedical and Health Perspective

Information Retrieval: A Biomedical and Health Perspective

$54.99
Jugend, Partizipation und Migration

Jugend, Partizipation und Migration

$49.99
Approaches to Metaphysics

Approaches to Metaphysics

$84.99
Discovery Science

Discovery Science

$54.99
Citizenship Education in Asia and the Pacific

Citizenship Education in Asia and the Pacific

$169.99
Institutionelle Investoren und Corporate Governance

Institutionelle Investoren und Corporate Governance

$99.99
See- und Seehafenbau

See- und Seehafenbau

$84.99
Java and Object Orientation: An Introduction

Java and Object Orientation: An Introduction

$74.99
Pitfalls in Musculoskeletal Radiology

Pitfalls in Musculoskeletal Radiology

$249.99
Networks, Markets & People

Networks, Markets & People

$219.99
English Language Teaching

English Language Teaching

$129.00
Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection

$109.99
Advanced Flow Cytometry: Applications in Biological Research

Advanced Flow Cytometry: Applications in Biological Research

$109.99
Earthquake Engineering and Structural Dynamics in Memory of Ragnar Sigbjrnsson

Earthquake Engineering and Structural Dynamics in Memory of Ragnar Sigbjrnsson

$109.99
Paediatrics and Blood Transfusion

Paediatrics and Blood Transfusion

$84.99
Comparative Perspectives on the Enforcement and Effectiveness of Antidiscrimination Law

Comparative Perspectives on the Enforcement and Effectiveness of Antidiscrimination Law

$299.00
Equality of Treatment and Trade Discrimination in International Law

Equality of Treatment and Trade Discrimination in International Law

$54.99
Natur fr die Seele

Natur fr die Seele

$24.99
Polizist  Traumberuf oder Trauma

Polizist Traumberuf oder Trauma

$69.99
Erfolgreich im Pharma-Marketing

Erfolgreich im Pharma-Marketing

$49.99
previous
next