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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
Reviews
Questions & Answers
Video Capsule Endoscopy
$149.00
The Political Economy of East-West-South Co-operation
$44.99
Erluterungen zu den Sicherheitsvorschriften fr die Errichtung elektrischer Starkstromanlagen einsc
$59.99
Prediction of Interannual Climate Variations
$109.99
Messen in der Energieanwendung
$69.99
Diagnosis and Treatment of Fetal Disorders
$84.99
Intraocular Inflammation
$379.99
Jumpstart Snowflake
$54.99
Konstruktive Methoden der finiten nichtlinearen Optimierung
$54.99
Physics of Fast Processes in Scintillators
$139.00
Capital Allocation and Value Creation
$39.99
Green Functions in Electrochemistry
$109.99
Hochbaukonstruktionen
$44.99
Cloud Computing CLOUD 2021
$59.99
Neural Assemblies
$109.00
Technologie der Textilveredelung
$84.99
Die Theorie der Unternehmung in Forschung und Praxis
$44.99
Relativistically Intense LaserMicroplasma Interactions
$84.99
Basophils and Mast Cells
$109.99
European Disunion
$109.99
Nonlinear Dynamics, Volume 1
$219.99
The Letters of Brendan Behan
$39.99
Environment, Health and History
$54.99
Sichtweisen von Lehrkrften auf Schlerfehler
$79.99
Web-based Support Systems
$169.99
Proceedings of Trends in Electronics and Health Informatics
$189.00
Quality in Nuclear Medicine
$139.99
Switching and Learning in Feedback Systems
$54.99
Coaching im Aufwind
$17.99
The Structure of Being in Aristotles Metaphysics
$109.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$79.99
Konstruktion, Berechnung und Eigenschaften des deutschen Einkommensteuertarifs
$24.99
Ecological Sustainability and Integrity: Concepts and Approaches
$169.99
Computer Logic
$54.99
Xenopus Protocols
$199.99
The Dirac Spectrum
$39.99
Zeitvariable Asset-Pricing-Modelle fr den deutschen Aktienmarkt
$74.99
Dehydrogenases
$39.99
Of Cigarettes, High Heels, and Other Interesting Things
$44.99
Wirbelsulenerkrankungen
$59.99
