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
Governing Human Life
$44.99
Viruses and Nanotechnology
$129.00
HCI and User-Experience Design
$109.99
Interpretable Cognitive Internet of Things for Healthcare
$129.99
Children and the Environment
$39.99
Personalized Mechanical Ventilation
$99.00
Ambivalenzen des Konsums und der werblichen Kommunikation
$44.99
Lineare Algebra und analytische Geometrie
$44.99
From Political Economy to Economics through Nineteenth-Century Literature
$109.99
and Sized Companies in Europe
$109.99
Information Security
$39.99
Growing Patterns
$6.71
Hacking Product Design
$44.99
Multivariate Analyseverfahren
$44.99
Perspektiven der Entwicklung der Weltwirtschaft.Unternehmungs-und Gebietsentwicklung als Aufgabe ein
$59.99
LaTeX for Linux
$54.99
Inventing The It Girl- How Elinor Glyn Created The Modern Romance and Conquered Early Hollywood by Hilary A. Hallett
$32.50
Patentierung von Geschftsprozessen
$89.99
Rural Aging in 21st Century America
$109.99
Pattern Synthesis
$54.99
Nonfiction Sight Word Readers: Level A (Single-Copy Set)
$17.99
Algebraic Geometry II
$89.00
From Multimedia Communications to the Future Internet
$54.99
Strukturelle und kinetische Untersuchungen an flssigen Gemischen mit den Methoden der Kernresonanz
$59.99
Untersuchung des Feinstanzvorganges
$59.99
The Power of Emotion in Politics, Philosophy, and Ideology
$39.99
Early Holocaust Memory in Sweden
$159.99
Critical Voices in Teacher Education
$109.99
Smart City wird Realitt
$44.99
Neanderthal Lifeways, Subsistence and Technology
$109.00
Gesetzliche Ehegattenvertretung in Angelegenheiten der Gesundheitssorge
$89.99
Werbe- und Konsumentenpsychologie
$59.99
Deconstructing Scandinavia's "Achievement Generation"
$119.99
Gabby's Dollhouse Water Wonder Storybook
$10.99
Virtual Reality and Augmented Reality
$39.99
Microbial Rejuvenation of Polluted Environment
$189.00
Omics Approaches, Technologies And Applications
$149.00
A Tale of Two Fractals
$29.99
Minimax and Applications
$169.99
Holomorphic Q Classes
$29.99
