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

Practical Imaging Informatics

$169.99

Die Entwicklung von Mathematikbildern bei Lehramtsstudierenden

$64.99

Innovations in Competitive Manufacturing

$169.99

Belastungen und Ressourcen von Volksschulleitungen

$59.99

Proceedings of Ninth International Congress on Information and Communication Technology

$249.99

Betrieb und Anwendung von Leistungs- und Regeltransformatoren

$59.99

Data Privacy: Foundations, New Developments and the Big Data Challenge

$199.99

Proteinuria

$39.99

HNO Praxis Heute

$54.99

Communications and Multimedia Security

$169.99

Mobilfunknetze

$54.99

bungsbuch Physik fr Mediziner

$14.99

Europisches Steuerverfassungsrecht

$119.99

Essays in Evolution and Genetics in Honor of Theodosius Dobzhansky

$39.99

Dynamic Behavior of Materials, Volume 1

$189.00

Sales and Business Models in the Logistics Industry

$69.99

The Brilliant Abyss: Exploring the Majestic Hidden Life of the Deep Ocean, and the Looming Threat That Imperils It by Helen Scales

$17.00

Multiple Visual Areas

$169.99

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$54.99

Quantitative Methoden der Organisationsforschung

$44.99

Die Zentraleuropische Enzephalitis in der Bundesrepublik Deutschland

$54.99

Teratologie und Teratogenese

$59.99

Horticulture: Plants for People and Places, Volume 1

$249.99

The Impact of Space Science on Mankind

$54.99

Membrane Hydration

$169.99

Support Vector Machines for Pattern Classification

$89.00

Family Well-Being

$109.99

Umwandlungssteuerrecht

$34.99

Innovative Practices in Language Teacher Education

$149.00

A Friendly Guide to Wavelets

$64.99

The Paris Lectures

$79.99

Die Trkei im Spannungsfeld von Kollektivismus und Diversitt

$39.99

Abstract Data Types and Algorithms

$59.99

Front Desk Grades 3-5

$29.00

James Joyce

$109.99

Current Research in Bilingualism and Bilingual Education

$169.99

Parasites, Fungi, and Viruses

$39.99

Pathogenese und Klinik der Harnsteine VII

$59.99

Die Wirtschaft Serbiens

$17.99

Mental Health in the Digital Age

$159.99