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
Sociology in Sweden
$54.99
Extremal Families and Systems of Sufficient Statistics
$139.00
Personal Flourishing in Organizations
$109.99
Rarefied Gas Dynamics
$129.00
Health Manpower Planning
$169.99
Biological Oxidations
$84.99
Colonization and Development in New Zealand between 1769 and 1900
$84.99
Eh-pH Diagrams for Geochemistry
$119.99
Advanced Numerical Methods to Optimize Cutting Operations of Five Axis Milling Machines
$84.99
Bacterial Cell Walls and Membranes
$199.99
Progress in Pacific Polymer Science 3
$39.99
Fliebedingung fr Stahlbeton mit Bercksichtigung der Betonzugfestigkeit
$54.99
Strategic Alliances
$109.99
Algebraic Curves and Riemann Surfaces for Undergraduates
$59.99
Artificial Neural Networks - ICANN 2007
$84.99
Pretrained Transformers for Text Ranking
$89.99
Guide to Flow-Aware Networking
$39.99
Molecular Biology and Brain Ischemia
$84.99
My Cats
$3.71
Ultrasonography of the Spleen
$54.99
Arbeitsmethoden im Radioisotopen-Laboratorium
$49.99
Generierung von Kundenwert durch mobile Dienste
$59.99
New Family Interventions and Associated Research in Psychiatric Disorders
$54.99
The Comical
$169.99
Television and Youth Culture
$39.99
Joint Investigation Teams in the European Union
$54.99
Laser
$89.99
Simulation of Thermoelastic Behaviour of Spacecraft Structures
$99.00
Self-Reported Population Health: An International Perspective based on EQ-5D
$59.99
Die Nutzung von Paneldaten im strategischen Marketing von Fast Moving Consumer Goods-Herstellern
$37.99
Innovationen in Familienunternehmen
$69.99
Trends in Horticultural Entomology
$249.99
Championing Women Leaders
$39.99
Configurations of the Individual in Modern Chinese Literature
$54.99
Is Transport Infrastructure Effective?
$109.00
Neoliberalism 2.0: Regulating and Financing Globalizing Markets
$109.99
Artificial Intelligence in Economics and Managment
$84.99
Physiology of Elasmobranch Fishes
$84.99
Studien zu Gemeinschaft und Gesellschaft
$49.99
The Growth of the Antwerp Market and the European Economy (fourteenth-sixteenth centuries)
$54.99
