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:
Buy NASA Formal Methods for $79.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$79.99 | 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
Schnittstellen der germanistischen Linguistik
$29.99
New Computational Paradigms
$169.99
The Evolution of Chinas Anti-Poverty Strategies
$49.99
Mobility Modeling for Vehicular Communication Networks
$54.99
Insect Countdown
$3.71
Science Education Research and Practices in Taiwan
$109.99
Similarity Search and Applications
$64.99
Viral Voyages
$39.99
Slow Motion
$69.99
Phenomenology and Social Reality
$54.99
Geburtshilfe akut
$29.99
Therapeutische Beziehung und die Behandlung chronischer Depressionen
$69.99
Dialogmarketing Perspektiven 2016/2017
$59.99
Communications Deregulation and FCC Reform: Finishing the Job
$84.99
Complex Networks VI
$84.99
An Assessment of Mine Legacies and How to Prevent Them
$54.99
Die revolutionre Kraft der Ideen
$74.99
Pattern Recognition and Computer Vision
$74.99
Bifurcation Problems and their Numerical Solution
$49.99
Confined Granular Flow in Silos
$219.99
Integrated Formal Methods
$39.99
Immobilien und Steuern
$54.99
Revolutions in Product Design for Healthcare
$199.99
A Practical Introduction to PSL
$129.00
Central Auditory Processing and Neural Modeling
$39.99
Popularizing Classical Economics
$169.99
Game Theoretic Risk Analysis of Security Threats
$169.99
The Hebrew Prophets
$17.00
Laboratory Experiments in Physics for Modern Astronomy
$84.99
Residue Reviews
$39.99
Transactions on Computational Science IV
$39.99
Mutational and Morphological Analysis
$109.99
Model-Based Reasoning in Science, Technology, and Medicine
$219.99
The Haunted Ghoul Bus
$4.46
User Modeling, Adaptation and Personalization
$54.99
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
$39.99
Applied Computer Sciences in Engineering
$99.99
Biomedical Simulation
$54.99
Walter Foster Learn to Draw Series - Military Machines
$9.95
Symmetric Galerkin Boundary Element Method
$109.99
