Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
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.
Single Product Purchase
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
|
|
$79.99 | $79.99 |
|
10% OFF
This deals requires coupon
|
$72.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
The Paths of Civilization
$109.99
Independent Advocacy and Spiritual Care
$89.99
Innovation in Language Learning and Teaching
$54.99
Demolition
$4.46
Theoretical Problems in the Spectroscopy and Gas Dynamics of Lasers
$39.99
Could You Ever Dine with Dinosaurs!?
$5.99
Nursing in Prison
$24.99
Beitrag zur Optimierung von Wasserstoffdruckbehltern
$29.99
Lymphatic Filariasis
$129.99
Programmieren mit C++ Version 3
$59.99
Tod durch Vorstellungskraft
$74.99
Kognitive Dissonanz
$49.99
Introduction to Mathematics for Economics with R
$54.99
High-Tech and Micropropagation V
$329.99
The Care and Management of Spinal Cord Injuries
$54.99
Project Scheduling under Limited Resources
$54.99
Flashes of Brilliance
$29.99
The Bitter Gourd Genome
$109.99
Was wirklich zhlt!
$39.99
Capillary Forces in Microassembly
$169.99
Popular Italian Cinema
$54.99
Heat Waves
$169.00
Geographical Education in a Changing World
$169.99
Proceedings of International Conference on Communication and Artificial Intelligence
$279.99
Constructing Crime
$39.99
Bright Star
$5.21
X-Ray and Electron Probe Analysis in Biomedical Research
$39.99
Sprache und Sprechen im Kontext von Migration
$49.99
Benign Violence: Education in and beyond the Age of Reason
$109.99
Robots Rule the School
$5.21
Formal Techniques for Safety-Critical Systems
$54.99
Housing Markets in Europe
$169.99
Ultrasonographic Diagnosis in Obstetrics and Gynecology / Ultraschalldiagnose in Geburtshilfe und Gy
$54.99
Challenging Cases in Rheumatology and Diseases of the Immune System
$159.00
Structural Reliabilism
$109.99
Leaders in Mathematics Education: Experience and Vision
$49.99
Lipid Signalling
$149.99
Electrodynamics
$99.00
Engineering Design Applications II
$169.99
Application of Intelligent Control Algorithms to Study the Dynamics of Hybrid Power System
$169.99
