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
Aiding Decisions with Multiple Criteria
$169.00
Implications of Climate Change and Disasters on Military Activities
$109.99
ber die Struktur der positiven Gleitentladung
$59.99
Probabilistic Approaches for Geotechnical Site Characterization and Slope Stability Analysis
$109.99
Intelligent and Fuzzy Systems
$219.99
Principles of Declarative Programming
$39.99
Topological Methods in Complementarity Theory
$219.99
Classical Swine Fever and Related Viral Infections
$169.99
Rechnen fr Bankkaufleute
$59.99
Blood Replacement
$54.99
Bioceramics and Alternative Bearings in Joint Arthroplasty
$54.99
Learning Web-based Virtual Reality
$19.99
Integrated Education in Conflicted Societies
$54.99
A Clinical Guide for the Treatment of Schizophrenia
$109.99
Developments in Mathematical and Experimental Physics
$39.99
Revolutionizing Pedagogy
$54.99
Kompendium Internistische Onkologie. Standards in Diagnostik und Therapie
$129.00
Geriatrie
$74.99
The Bivocal Nation
$99.99
Uncertainty Forecasting in Engineering
$84.99
Statistical Language and Speech Processing
$54.99
Fernsehen
$84.99
Nationale Mindestsicherungssysteme und europische Integration
$69.99
Contacts and Contrasts in Educational Contexts and Translation
$54.99
Information Processing in Computer Assisted Interventions
$54.99
Clifford the Big Red Dog: Clifford's Snow Day
$4.49
Millennium Development Goals and Community Initiatives in the Asia Pacific
$84.99
Feminism, Family, and Identity in Israel
$54.99
Recht ex machina
$99.99
Advances in Biomedical Infrastructure 2013
$169.99
Rare-Earth Metal Recovery for Green Technologies
$99.99
E-Life: Web-Enabled Convergence of Commerce, Work, and Social Life
$54.99
The Berlin Phenomenology
$109.99
Organisationale Identifikation als Voraussetzung fr eine erfolgreiche Unternehmensentwicklung
$79.99
Interdisciplinary Discourse
$129.99
Digital Research and Education in Architectural Heritage
$64.99
Statistical Physics for Cosmic Structures
$169.99
Der Beschaffungsmarkt und seine Mechanismen
$59.99
Reconstructionist Confucianism
$84.99
SCI, Structured Clinical Interview
$39.99
