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 Methods for Safety and Security

Formal Methods for Safety and Security

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
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

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

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

Similar Products

Internetquellen im Zivilprozess

$79.99

Intelligence and Artificial Intelligence

$109.99

Mitarbeiterbefragungen optimieren

$49.99

Ancient and Modern Religion and Politics

$54.99

Personalauswahl

$54.99

MODA 6 - Advances in Model-Oriented Design and Analysis

$54.99

China Cultural and Creative Industries Reports 2013

$109.99

Rapid Orthopedic Diagnosis

$39.99

Prfungsvorbereitung fr IT-Berufe

$37.99

Magnonics

$169.99

Responding to a Resurgent Russia

$109.99

Cryptography

$39.99

The Palgrave Handbook of EU-Asia Relations

$179.99

Anaesthesie in der Augenheilkunde

$69.99

Kleine Handelskunde

$59.99

Introduction to Photoelectron Angular Distributions

$179.99

Optical Absorption of Impurities and Defects in Semiconducting Crystals

$129.00

Ermittlung der Diffusionskoeffizienten des Wasserstoffs in binren Legierungen auf Eisengrundlage zw

$59.99

International Finance and Open-Economy Macroeconomics

$159.99

Chloroplast Gene Expression: Regulation, Stress Signaling and Biotechnology

$179.99

The Educational Innovators

$74.99

Modelling with Transparent Soils

$129.00

Supporting University Ventures in Nanotechnology, Biomaterials and Magnetic Sensing Applications

$109.99

British Women Writers and the Short Story, 1850-1930

$54.99

The Paper Museum by Kate Simpson

$16.99

Strukturen und Prozesse intelligenter Systeme

$49.99

Groe technische Gefahrenpotentiale

$54.99

The Adventures of Sparrowboy

$6.71

C++ and Object-Oriented Numeric Computing for Scientists and Engineers

$54.99

Jahres-Bericht des Chemischen Untersuchungsamtes der Stadt Breslau fr die Zeit vom 1. April 1898 bi

$59.99

Mathematische Hilfsmittel in der Physik

$69.95

Myotonic Dystrophy

$89.00

The Politics of Repression Under Authoritarian Rule

$129.99

Socio-Tech Innovation

$109.99

Terrorismusabwehr

$59.99

Variowin

$39.99

Brain Plasticity

$219.99

Advanced Discrete-Time Control

$84.99

Interdisziplinre Leitlinie Management der frhen rheumatoiden Arthritis

$19.99

Geometric Algebra with Applications in Engineering

$79.99