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
Spatial Economics Volume II
$159.99
Blockchain Transaction Data Analytics
$149.00
Coping with Selfishness in Congestion Games
$199.99
Baader-Meinhofs Kinder
$69.99
Social Justice and Education in the 21st Century
$169.00
Leidenschaft: Recherche
$49.99
Perspectives on Political Parties
$54.99
Who Would Win?: Quin ganar? (Who Would Win?) Spanish Grades 3-5
$30.00
Umsatzsteuergesetz Umsatzsteuer-Durchfhrungsbestimmungen Ausgleichsteuerordnung
$59.99
Applications of Advanced Oxidation Processes (AOPs) in Drinking Water Treatment
$379.99
Geosciences of Azerbaijan
$139.99
Stamping the Earth from Space
$49.99
Die naturalistische sthetik in Frankreich und ihre Auflsung
$89.99
Biodegradation of Nitroaromatic Compounds
$129.00
Grammar for Teachers
$59.99
Satellite Altimetry in Geodesy and Oceanography
$39.99
Lobbying and Foreign Interests in Chinese Politics
$109.99
Constraint-Programmierung
$24.99
Statistical Modeling and Computation
$169.99
Protection of the Architectural Heritage Against Earthquakes
$109.99
Serial Murder and the Psychology of Violent Crimes
$169.99
The Stonekeeper: A Graphic Novel (Amulet #1)
$9.74
Unternehmungsspiele in Ausbildung und Forschung
$44.99
Radikale Innovationen in der Mobilitt
$119.99
Analog Circuit Design
$129.00
Tissue Engineering in Regenerative Medicine
$219.99
Minority Protection: Standards and Reality
$54.99
Scholastic Discover More Reader Level 3: Volcanes (Spanish)
$2.99
Weed and Crop Resistance to Herbicides
$219.99
TGF-Beta Signaling
$219.99
Hochofen-Begichtungsanlagen
$84.99
The European Carbon Tax: An Economic Assessment
$39.99
Polizei und Protest in der Bundesrepublik Deutschland
$54.99
Coaching
$89.99
Advanced IT Tools
$169.00
Universal, Intuitive, and Permanent Pictograms
$169.99
Frog and Toad All Year
$3.71
Ternary Diamond-Like Semiconductors / Troinye Almazopodobnye Poluprovodniki /
$39.99
ffentliche Meinung zu Auslandseinstzen der Bundeswehr
$49.99
Maschinenelemente
$84.99
