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
Java Threads and the Concurrency Utilities
$44.99
Continuous Biometric Authentication Systems
$39.99
Handbuch Karriere und Laufbahnmanagement
$159.00
Chlamydia Pneumoniae Infection
$54.99
Teacher Development and Teacher Education in Developing Countries
$79.99
Topics in the Mathematical Modelling of Composite Materials
$169.00
The Revolting Child in Horror Cinema
$84.99
Freshwater Red Algae
$149.00
Energieorientierte Losgren- und Reihenfolgeplanung bei zeitabhngigen Energiepreisen
$54.99
Werewolf Histories
$139.99
Advanced R
$34.99
Die Pflege der Eiche
$59.99
Adolescent Brain Cognitive Development Neurocognitive Prediction
$54.99
Monster by Walter Dean Myers
$15.99
Bioinspired Optimization Methods and Their Applications
$54.99
Chemical Identification and its Quality Assurance
$109.99
Charisma in Politics, Religion and the Media
$109.99
Pathophysiology of Plasma Protein Metabolism
$39.99
Die Inanspruchnahme steuerlicher und vermgenspolitischer Vergnstigungen durch die Lohnsteuerpflich
$69.99
Japans Asian Diplomacy
$99.00
Molire
$17.99
Recent Trends in Algebraic Development Techniques
$54.99
Sicherheit und Militr
$69.99
Knstler in der Gesellschaft
$59.99
Marketingcontrolling im Einzelhandel
$59.99
Animation
$17.99
The Economic Impact of Government Policy on Chinas Private Higher Education Sector
$99.00
Advances in Computing and Data Sciences
$109.99
Ghost Lives of the Pendatang
$119.99
Philosophie der Geisteswissenschaften als Kritik Ihrer Methoden
$39.99
Phenomenology and Aesthetics
$169.99
Internet of Things from Hype to Reality
$89.99
Dams and Reservoirs in Evaporites
$84.99
Textbook of Primary Care Dermatology
$109.99
Environment and Nuclear Energy
$109.99
Policy Choices for the 1990s
$109.99
Gemeinschaftliche Wohnformen zwischen Entfremdung und Resonanz
$59.99
Modellierung, Analyse und Simulation elektrischer und mechanischer Systeme mit Maple und MapleSim
$59.99
Optimierung Operations Research Spieltheorie
$64.99
The Palgrave Environmental Reader
$99.99
