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
Camille Flammarion's The Planet Mars
$169.99
Level I: 60 Book Set
$199.95
Strongly Coupled Coulomb Systems
$169.00
Towards Green Campus Operations
$249.99
Cybernetic Approach to Project Management
$54.99
Betontragwerke mit Aussenbewehrung
$39.99
Incarceration and Generation, Volume I
$129.99
Chemiepolitik zwischen Marktwirtschaft und kologischer Strukturpolitik
$49.99
Hammelsprung
$64.99
Differentialgleichungen Lsungsmethoden und Lsungen
$69.99
Planungsbegriffe
$69.99
The Practice of English as a of Instruction (EMI) Around the World
$179.99
Information Systems for eGovernment
$54.99
Constructing Political Economy with Chinese Characteristics
$109.99
Molecular Neurosurgery with Targeted Toxins
$99.00
The Spectre of Democracy
$39.99
Neurosecretion
$39.99
Sequences, Discrepancies and Applications
$79.99
Computer Supported Cooperative Work and Social Computing
$39.99
Elements of Operator Theory
$74.99
Politikberatung fr Parteien
$64.99
Hydraulic and Electro-Hydraulic Control Systems
$219.99
Morphological Tumor Markers
$84.99
The Growth and Development of Astronomy and Astrophysics in India and the Asia-Pacific Region
$169.99
Social Media and Strategic Communications
$119.99
Gender Equality Norms in Regional Governance
$54.99
Codification in East Asia
$84.99
Black Hole Astrophysics
$249.99
Resisting Theology, Furious Hope
$69.99
Statistische Analyse konometrischer Ungleichgewichtsmodelle
$59.99
Geoinformatics for Spatial-Infrastructure Development in Earth and Allied Sciences
$199.99
Masking Unmasked
$54.99
Bayes-Statistik fr Human- und Sozialwissenschaften
$44.99
ffentliche Steuerung und Gestaltung der kommunalen Sozialverwaltung im Wandel
$24.99
Einfhrung in die Biomechanik des Hftgelenks
$69.99
Datenbanksysteme in Bro, Technik und Wissenschaft
$69.99
Einige Grundfragen des Internationalen Unternehmensrechts
$59.99
Pro HTML5 with CSS, JavaScript, and Multimedia
$59.99
Evolution der Sprache und Vernunft
$54.99
From Geoheritage to Geoparks
$109.99
