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
NASA Formal Methods
Best Price (Coupon Required):
Buy NASA Formal Methods 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 book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Reviews
Questions & Answers
Contractual Communities in the Self-Organising City
$39.99
Automation of Cytogenetics
$109.99
Sedimentary Dynamics of Windfield-Source-Basin System
$169.99
Evaluation des Aufsichtsrats
$64.99
Nuclear Reactions I / Kernreaktionen I
$84.99
Brain Tumor Pathology: Current Diagnostic Hotspots and Pitfalls
$169.99
The Road Between by Courtney Peppernell
$16.99
Die anatomischen Namen, ihre Ableitung und Aussprache
$59.99
Michell Structures
$149.00
Dictionary of Information Technology
$19.99
Multivariate Geostatistics
$139.99
Object-Based Concurrent Computing
$39.99
Advances in Cryptology - ASIACRYPT 2008
$39.99
Bildungsaufstieg, Biografie und familiale Figuration
$74.99
Meningitis im Kindesalter
$54.99
Realoptionen in der Lieferantenentwicklung
$69.99
Trivialization and Public Opinion
$39.99
Urogenitale Bildgebung
$64.99
Decentralization and Local Development in South East Europe
$54.99
Personal: Diversity Management
$19.99
Listeria monocytogenes: Pathogenesis and Host Response
$169.99
Demographische Wirkungen stdtebaulicher Manahmen
$59.99
Die Valenz und der Bau der Atome und Molekle
$49.99
Anthropogenic Compounds
$84.99
The Adventures of Midnight Son
$5.21
Membrane Processes
$84.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2024
$199.99
Geronimo Stilton and the Kingdom of Fantasy #15: The Golden Key (Hardcover)
$12.74
English for Planning and Building Professionals
$84.99
Critical Issues in Reproductive Health
$199.99
Search-Based Software Engineering
$59.99
Sustainability of External Imbalances
$39.99
Soul, Mind and Brain from Descartes to Cognitive Science
$79.99
Enzyme Dynamics and Regulation
$84.99
Zentrale Themen aus der Sportorthopdie und -traumatologie
$59.99
Praxishandbuch Wirtschaft in Afrika
$44.99
Ermdung von Stahlbeton- und Spannbetontragwerken
$49.99
Nitride Semiconductors and Devices
$169.00
Theorien in der Entwicklungspsychologie
$64.99
Machine Learning, Optimization, and Data Science
$54.99
