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
Materials, Structures and Manufacturing for Aircraft
$129.00
Der Pflegeprozess im Unterricht
$59.99
Nichtstationre, eindimensionale und reibungsfreie Gasstrmung schwach kompressibler Medien in Rohre
$59.99
Forschung am Menschen
$69.99
Arbeitsbuch Finanzwissenschaft
$34.99
Neisseria meningitidis
$169.99
China and the Global Business Revolution
$169.99
Beginning Data Science in R
$44.99
Media fr Manager
$39.99
Stochastic Filtering Theory
$109.99
Gegen den Zivilismus
$74.99
Jerusalem and Its Role in Islamic Solidarity
$39.99
Biostatistics with R
$89.99
Erkenntnis und Reduktion
$129.00
Handbook of Image Processing and Computer Vision
$249.99
Semantic Knowledge Modelling via Open Linked Ontologies
$169.99
Machine Learning: ECML-98
$39.99
The Biophysical Approach to Excitable Systems
$39.99
Konfliktbearbeitung durch internationale Organisationen
$59.99
Civil Society in Japan
$54.99
Beyond Legal Positivism
$119.00
Hotel-Marketing
$59.99
Das Framing von Issues in Medien und Politik
$44.99
The Independent Director
$49.99
Mathematical Modeling and Optimization
$109.99
The Radio Hobby, Private Associations, and the Challenge of Modernity in Germany
$84.99
Institutionelle Reformen fr eine Politik der Nachhaltigkeit
$69.99
Keats and Romantic Celticism
$54.99
Animal Models of Behavioral Analysis
$89.00
Data Assimilation Fundamentals
$59.99
Foundations of Data Organization and Algorithms
$39.99
I Can Read! Level 1 - The Bad Seed: The Good Egg and the Talent Show
$4.46
NASH and Nutritional Therapy
$109.99
Grundwissen Sozio-Marketing
$39.99
Banking, The State and Industrial Promotion in Developing Japan, 1900-73
$54.99
Franco-German Relations Seen from Abroad
$139.99
Organisation in der Produktionstechnik
$39.99
China's New Strategic Layout
$39.99
Ma- und Integrationstheorie
$64.99
Medical Persuasion
$159.99
