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
Mechanismen der Polyploidisierung und der somatischen Reduktion
$69.99
Datenstrukturen und Algorithmen
$29.99
Dental Image Processing for Human Identification
$99.99
Redefining American Identity
$39.99
The United States and the Nuclear Dimension of European Integration
$54.99
Modern Trends in Hypercomplex Analysis
$169.99
Intelligent Planning
$39.99
Assessing the Viva in Higher Education
$99.99
Halbzeit der Energiewende?
$19.99
Recent Advances in Information and Communication Technology 2018
$169.99
The Organization of Critical Care
$109.99
Lernen in heterogenen Lerngruppen
$54.99
Inequality Around the World
$109.99
Non-negative Matrices and Markov Chains
$169.99
Gatsby E-Commerce
$54.99
Smart Grid and Innovative Frontiers in Telecommunications
$54.99
Interdisziplinre Therapie des Bronchialkarzinoms
$69.99
Gaussian Capacity Analysis
$39.99
Industrial Applications of Holonic and Multi-Agent Systems
$39.99
Manipulation of Near Field Propagation and Far Field Radiation of Surface Plasmon Polariton
$109.99
The Management of Burns and Fire Disasters: Perspectives 2000
$39.99
Entrepreneurial Ecosystem
$109.99
Automatic Text Simplification
$44.99
Neoplastic Transformation in Human Cell Culture
$169.99
Rauschkonstruktionen
$69.99
Introduction to Liaison Theory and Deficiency Modules
$109.99
Transzendentale Genesis des Bewusstseins und der Erkenntnis
$139.99
Activation, Metabolism and Perfusion of the Heart
$39.99
Standardisierung in der gymnasialen Oberstufe
$44.99
An Introduction to Protein Informatics
$129.00
Reclaiming Spirit in the Black Faith Tradition
$54.99
Western Europe In Kissinger's Global Strategy
$34.99
Space Debris
$299.99
Regieren mit Mediation
$69.99
Mathematics for Computer Scientists
$59.99
Anfrageverarbeitung in Komplexobjekt-Datenbanksystemen
$59.99
Rolle, Status, Erwartungen und soziale Gruppe
$44.99
From the Active to the Enabling State
$54.99
Pediatric Lower Limb Deformities
$199.99
Maschinelle Lernmethoden fr Klassifizierungsprobleme
$44.99
