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
Patient-Specific Modeling of the Cardiovascular System
$129.00
The PACE System
$39.99
Explosions in Underground Coal Mines
$109.99
Biologic Effects of Environmental Electromagnetism
$129.00
Untersuchung ber die Ausbildung optimaler Rundspantbootsformen
$59.99
From the Web to the Grid and Beyond
$54.99
Bad Guys in Do-You-Think-He-Saurus?!: Special Edition (The Bad Guys #7)
$5.24
Kinship in the Age of Mobility and Technology
$119.99
Accidental Presidents
$54.99
Flash Reaction Processes
$219.99
Grundkurs Web-Programmierung
$34.99
Techniques and Concepts of High Energy Physics X
$109.99
Strmungsmechanik des laminaren Mischens
$29.99
Betriebs- und Selbstkostenprobleme der Wollindustrie
$59.99
Tales of Gotham, Historical Archaeology, Ethnohistory and Microhistory of New York City
$109.99
Graph Transformation
$54.99
Advances in Telerobotics
$169.99
Verlaufsformen der experimentell-allergischen Neuritis
$54.99
Trends in Photobiology
$39.99
Teaching, Learning, and Enacting of Self-Study Methodology
$129.99
Advanced Systems for Environmental Monitoring, IoT and the application of Artificial Intelligence
$199.99
Resonances in Few-Body Systems
$84.99
Grundlagen der Materialwirtschaft
$59.99
Beruf und Familie bei Medizinerinnen und Medizinern
$27.99
Bergson and Phenomenology
$84.99
Haushaltskonsolidierung
$99.00
Das C++ Tutorial
$29.99
Automation 2023: Key Challenges in Automation, Robotics and Measurement Techniques
$149.00
Die Rattenvertilgung
$54.99
Gut Remediation of Environmental Pollutants
$109.99
Spatio-Temporal Modeling of Nonlinear Distributed Parameter Systems
$39.99
Get a Hit, Mo!
$4.46
Handbook of II-VI Semiconductor-Based Sensors and Radiation Detectors
$249.99
Evolving Landscape of Residential Education
$159.99
Einfhrung in die Sprachdidaktik
$29.99
Fundamentals of Computer Organization and Design
$84.99
Electron Spin Resonance Spectrometers
$54.99
Assessing the Quality of Experience of Cloud Gaming Services
$109.99
Pharmacology of Drug Stereoisomers
$84.99
Japanese Interfirm Networks and Their Main Banks
$169.99
