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
Public Services in EU Trade and Investment Agreements
$109.99
Cybersecurity for Industry 4.0
$99.00
Parenting and Family Processes in Child Maltreatment and Intervention
$89.00
Embedded Systems A Hardware-Software Co-Design Approach
$39.99
Fixstern im Kopf: Ziele setzen, Ziele erreichen
$19.99
Die 7 hufigsten Insolvenzgrnde erkennen und vermeiden
$37.99
Accidental Load Analysis and Design for Offshore Structures
$22.99
Essential Graphical Techniques in Geography
$139.99
Terry's Crew
$9.74
Strahlentherapie
$109.00
So you have Diabetes!
$39.99
Effektive interne CSR-Kommunikation
$89.99
Politics and Morality
$84.99
Management of Water Use in Agriculture
$84.99
Die Hauptprobleme der Platonischen Philosophie
$59.99
Der Verkaufspreis in der Industrie
$69.99
Erziehungssystem und Gesellschaft
$39.99
Freizeitschule
$59.99
Face Image Analysis by Unsupervised Learning
$84.99
The Triumph of Democracy and the Eclipse of the West
$39.99
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
$54.99
Paul Feyerabend
$24.99
Karosseriebautage Hamburg 2017
$119.00
Ray Optics, Fermats Principle, and Applications to General Relativity
$169.99
Euskirchen 19522002
$59.99
Emerging Materials and Environment
$149.00
EcoProduction and Logistics
$169.99
New Trends in Medical and Service Robotics
$169.99
Class 2 Transferases XI
$329.99
Modellbasierte Investitionsplanung produktionsbezogener Umweltschutzmanahmen
$59.99
Emerging Strategies in Neuroprotection
$54.99
Geschichte der Baustoffe
$54.99
ber das Verhalten geschweiter Trger bei Dauerbeanspruchung unter besonderer Bercksichtigung der
$54.99
Art in the City, the City in Art
$129.99
Dnnschicht-Chromatographie
$59.99
Projektmanagement fr Studierende
$17.99
Developments in Fungal Biology and Applied Mycology
$329.99
Essential RenderMan
$44.99
Kompendium Kinder- und Jugendhilfe
$299.99
Inhibitors of Protein Kinases and Protein Phosphates
$549.99
