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
Fundamentals in Handwriting Recognition
$84.99
International Relations of Japan
$59.99
Handbuch der Verkehrslogistik
$39.99
Contributions to Complex Analysis and Analytic Geometry
$59.99
Shakespeare and the Materiality of Performance
$54.99
Law in the Practice of Psychiatry
$39.99
Gold Points a Moral
$109.99
Lebensmde, todestrunken
$39.99
The Geography of Greece
$219.99
English for Presentations at International Conferences
$19.99
Knowledge-Based Virtual Education
$129.00
A Handbook for Clinical Teachers
$54.99
Race, Ethnicity, and Violence in South Sudan
$119.99
Reoxidationsschutz von Eisenschwamm
$69.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Current Concepts in Parenteral Nutrition
$39.99
Lectures on Gaussian Processes
$79.99
Scale Space and Variational Methods in Computer Vision
$54.99
Cryptographic Hardware and Embedded Systems -- CHES 2015
$39.99
Parallel Processing Techniques for Simulation
$39.99
Wireless Artificial Intelligent Computing Systems and Applications
$59.99
The Failure of the Middle East Peace Process?
$54.99
Emotion und Intuition in Fhrung und Organisation
$39.99
Arenaviruses I
$84.99
Foundation Website Creation with HTML5, CSS3, and JavaScript
$37.99
Attribute Grammars and their Applications
$39.99
Internationale Wahrnehmung von Urheberrechten an Musikwerken
$49.99
Noise-Aware Quantum Circuit Simulation with Decision Diagrams
$54.99
Nondestructive Characterization and Imaging of Wood
$329.99
ManagementWissen
$44.99
The Peoples Peace Process in Northern Ireland
$39.99
Multi-Valued Variational Inequalities and Inclusions
$169.99
Automated Calibration of Modulated Frequency
$84.99
Haptic Interaction
$84.99
Diagnostic Imaging in Ophthalmology
$39.99
Information Technology in Disaster Risk Reduction
$54.99
Gabler Kleines Lexikon Wirtschaft
$59.99
Bioreactor Systems for Tissue Engineering II
$329.99
Komplexitt und Berechenbarkeit: ber die Mglichkeiten und Grenzen des Computers
$54.99
Norways Foreign Policy in the Twentieth and Twenty-first Centuries
$99.00
