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
Cognitive Behavioral Therapy in a Global Context
$249.99
Radio Monitoring
$179.99
Medical BioMethods Handbook
$169.00
Black Theology and Pedagogy
$39.99
Materialflusstechnik
$29.99
Global Sourcing of Digital Services: Micro and Macro Perspectives
$54.99
Interstellar Matters
$39.95
Manifolds with Cusps of Rank One
$29.99
IS Olympics: Information Systems in a Diverse World
$69.99
High Performance Computing in Science and Engineering 15
$169.99
Gothic Science Fiction
$119.99
Electromagnetic Metamaterials and Metasurfaces: From Theory To Applications
$129.00
Human Factors and Design
$169.99
Tradition and Public Administration
$129.99
Lake Champlain: Partnerships and Research in the New Millennium
$169.99
Problems on Algorithms
$109.99
Thyroid Ultrasound and Ultrasound-Guided FNA Biopsy
$74.99
Das Wissen fr Bankkaufleute
$59.99
Proceedings of the II International Triple Helix Summit
$219.00
Zentrale Atemstrungen bei Schdel-Hirn-Verletzungen und bei Hirntumoren
$84.99
Ricky Ricotta's Mighty Robot vs. the Unpleasant Penguins from Pluto
$5.24
Flavor of Meat, Meat Products and Seafood
$299.99
Exercises in Computer Systems Analysis
$19.99
Planetary Nebulae
$169.99
Traumatic Subarachnoid Haemorrhage
$109.99
From a Geometrical Point of View
$219.99
Multiple Panels in der empirischen Sozialforschung
$39.99
Housing Decisions in Later Life
$109.99
Leben und leben lassen
$49.99
Instability and Conflict in the Middle East
$169.99
The Mathematics of Language
$39.99
Proceedings of the 3rd RILEM Spring Convention and Conference (RSCC 2020)
$189.00
Shaping the University of the Future
$249.99
Design and Simulation of Spectrum Management Methods for Wireless Local Area Networks
$109.99
Housing Finance in Emerging Markets
$109.00
Origins of Mind
$219.99
Introduction to Machine Learning with Security
$54.99
An Ethical Approach to Leading Change
$109.99
Aviation Security, Privacy, Data Protection and Other Human Rights: Technologies and Legal Principle
$199.99
Recent Trends in Educational Technology and Administration
$139.00
