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
Chronisches Mdigkeits- und Fibromyalgiesyndrom
$74.99
Unterrichten und Prsentieren in Gesundheitsfachberufen
$37.99
Automata, Languages and Programming
$39.99
Emergence and Expansion of Preclassical Mechanics
$159.99
Prvention gastroenterologischer Tumorerkrankungen
$69.99
Road Vehicle Automation 11
$149.00
Digital Timing Measurements
$169.99
The Northern Ireland Question
$84.99
Impulse zur eigenen Vernderung
$29.99
Ahora
$8.75
Romantic Medievalism
$109.99
Carcinoembryonic Antigens
$84.99
Quantification of Contrast Kinetics in Clinical Imaging
$39.99
Business Process Management
$54.99
Not Invited to the Party
$14.99
Proceedings of the 1997 World Marketing Congress
$169.99
Materiality in der internationalen Rechnungslegung
$69.99
Forging Connections between Computational Mathematics and Computational Geometry
$54.99
GeoHumanities and Health
$159.99
Geschichte der deutschen Literatur von den Anfngen bis zum Ende des Sptmittelalters (1490)
$79.99
Public Service Media and Policy in Europe
$54.99
The Psychology of Artificial Superintelligence
$169.99
Lymphangiogenesis
$169.99
Hormones and Cancer
$84.99
Aktive Filter und Oszillatoren
$99.99
Harvesting Solar Energy
$54.99
From Curve Fitting to Machine Learning
$279.99
Complex Integration
$59.99
Sciences in the Universities of Europe, Nineteenth and Twentieth Centuries
$129.99
Modelle in der Betriebswirtschaftslehre
$59.99
New Waves In Political Philosophy
$54.99
Colorectal Cancer Screening
$54.99
The Buzz on Bees
$4.46
Pictures of Hollis Woods
$6.71
Advances in Information and Computer Security
$54.99
Relaxation of the Chemical Bond
$219.99
The Genesis Mission
$109.99
Integration of Functional Oxides with Semiconductors
$109.99
Strukturtypen der Logik
$139.00
Schnellaufende Dieselmaschinen
$59.99
