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
From Messengers to Molecules
$219.99
Text Segmentation and Recognition for Enhanced Image Spam Detection
$89.00
Applications of Remote Sensing to Agrometeorology
$169.00
Geringfgige Beschftigung
$59.99
Earth System Analysis
$39.99
Seismic Control of Structures Using Tuned Mass Dampers
$44.99
Taschenbuch fr Ingenieure und Architekten
$49.99
Elektronische Dieselregelung
$17.99
Daoist Cultivation of Qi and Virtue for Life, Wisdom, and Learning
$109.99
Computer und Musik
$84.99
Chasing Tourettes: Time, Freedom, and the Missing Self
$129.99
Fundamentals of Bile Duct Injuries
$119.99
Mechanics of Solid Deformable Body
$119.99
Survivorship Care for Cancer Patients
$169.99
Der bergang von der Schule in die berufliche Ausbildung
$49.99
Manual of Gynecardiology
$119.99
The Politics of Slave Trade Suppression in Britain and France, 1814-48
$109.99
Soliton Coding for Secured Optical Communication Link
$54.99
Embryologie und Fortpflanzungsbiologie der Angiospermen
$44.99
Modelle der Pathologischen Physiologie
$79.99
Physical Modifications of Starch
$169.99
Peirce and Husserl: Mutual Insights on Logic, Mathematics and Cognition
$139.99
Gender and Couple Relationships
$54.99
Der Souvern auf der Nebenbhne
$69.95
Progress in Medical Research
$109.99
Verberuflichung von Weiterbildung und die Zukunft der dualen Berufsausbildung
$59.99
Algorithmic Aspects of Cloud Computing
$60.00
Oeuvres Scientifiques - Collected Papers I
$69.99
New Frontiers in Stress Management for Durable Agriculture
$219.99
Air Pollution Modeling and Its Application VIII
$169.00
Machine Learning for Cyber Physical Systems
$109.99
Dynamics of Circle Mappings
$64.99
Die Praxis des Digitalen Humanismus
$64.99
Architecture and CAD for Deep-Submicron FPGAS
$169.00
Projektportfolio-Management
$64.99
The True Story of Modern Cosmology
$34.99
Geschwlste der Haut 2
$59.99
Effective Medical Communication
$84.99
Anstze zur Kundensegmentierung und zu deren Implementierung im Finanzdienstleistungssektor
$79.99
Kontinuumsschwingungen
$54.99
