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 LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
Reviews
Questions & Answers
Die Mechernicher Triasbucht
$59.99
Fehlzeiten-Report 2001
$69.99
The New Development of Technology Enhanced Learning
$84.99
HCI International 2023 Late Breaking Papers
$79.99
Connected Dominating Set: Theory and Applications
$39.99
Complete Guide to Open Source Big Data Stack
$49.99
Analysis of Antibiotic/Drug Residues in Food Products of Animal Origin
$39.99
Empirische Forschung und Soziale Arbeit
$49.99
Issues in Fetal Medicine
$39.99
Nerve-Muscle Interaction
$39.99
Novel Algorithms and Techniques in Telecommunications, Automation and Industrial Electronics
$169.00
Myths and Realities of Secessionisms
$54.99
Arctic Animals
$4.46
Die Bedeutung der Isotopenforschung fr geochemische und kosmochemische Probleme. Die Nichterhaltung
$59.99
Leibniz und die Folgen
$14.99
Rereading the Nineteenth Century
$54.99
Politikfeldanalyse
$29.99
Digital Communication in Medical Practice
$54.99
Visual Event Detection
$169.99
El da terrible de Rita y Rafi
$5.99
The Business of Bioscience
$149.00
Econometrics of Health Care
$129.00
Advances in Financial Risk Management
$109.99
Energy Hedging in Asia: Market Structure and Trading Opportunities
$169.99
Handbook on Positive Development of Minority Children and Youth
$229.00
Mollusk shells as bio-geo-archives
$54.99
Statistisches und maschinelles Lernen
$37.99
The CourantFriedrichsLewy (CFL) Condition
$54.99
Human Papillomaviruses
$89.00
Theta Functions on Riemann Surfaces
$19.99
Effective Psychotherapy for Low-Income and Minority Patients
$54.99
Repetitorium Schmerztherapie
$34.99
Innovation, Arbeit und Umwelt
$59.99
Renaissance Impostors and Proofs of Identity
$119.99
Cloud-Based Cyber-Physical Systems in Manufacturing
$179.99
Brave Dave
$5.24
Getting Started with NSX-T: Logical Routing and Switching
$54.99
The Palgrave Handbook of New Directions in Kashmir Studies
$249.99
Shipbuilding Management
$89.00
Pharmazeutische bungsprparate
$84.99
