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
Computational Thinking
$54.99
Perspectives on Teaching and Learning English Literacy in China
$109.99
Das 1 x 1 der Prsentation
$29.99
Womens Sexual Development
$109.99
Unterrichtsmethoden fr den Informatikunterricht
$29.99
Activation of Hormone and Growth Factor Receptors
$219.99
Ambient Intelligence in Health Care
$249.99
Debates on the Future of Communism
$59.99
Produktionsplanung
$29.99
Mandatsniederlegungen auf kommunaler Ebene
$59.99
Public Policies and the Japanese Economy
$84.99
Recent Advances in Mechanical Engineering
$219.99
ENTERprise Information Systems
$54.99
Holomorphic Functions and Moduli II
$109.00
Vom Richtigen und Falschen in der elementaren Algebra
$19.99
Signal Processing for Telecommunications and Multimedia
$84.99
Produktionstheorie
$44.99
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management
$89.00
Geo-Economy of the Future
$129.00
Hepatitis Delta Virus
$129.00
Multilingual Approach to Diversity in Education (MADE)
$129.99
Argumente fr eine Psychologie des Reflexiven Subjekts
$64.99
Medical Neuroanatomy for the Boards and the Clinic
$99.99
Psychotherapie und Entwicklungspsychologie
$99.99
The Roles of Remote Sensing in Nature Conservation
$179.99
Polynomial and Rational Matrices
$219.99
MATLAB Differential and Integral Calculus
$49.99
Das Schienennetz in Deutschland nach der Bahnreform
$59.99
Contributions to a General Asymptotic Statistical Theory
$54.99
Recent Advances in Constraints
$39.99
Model-Based Systems Engineering with OPM and SysML
$99.99
The Climate of the Arctic
$139.99
Moons of the Solar System
$34.99
Information Systems and Neuroscience
$109.99
Laufen psychotherapeutisch nutzen
$59.99
Langfristiges Planen
$79.99
India's Journey Towards Sustainable Population
$109.00
Solar and Stellar Granulation
$39.99
Smart Card Application Development Using Java
$109.99
Method of Difference Potentials and Its Applications
$84.99
