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
Digital Enterprise Challenges
$219.99
Aerodynamik der stumpfen Krper
$179.99
Standortwahl von internationalen Industrieunternehmungen
$59.99
Managing Risks in the Railway System
$79.99
Research and Management Practices for Conservation of the Persian Leopard in Iran
$109.99
Early Childhood Education
$39.99
Praktische Finanzmathematik
$19.99
Holografie
$39.99
Fortschritte in der Chirurgie im letzten Jahrzehnt
$59.99
Formalitt und Informalitt in Organisationen
$74.99
Earthquakes and Multi-hazards Around the Pacific Rim, Vol. II
$54.99
Peatlands of the Western Guayana Highlands, Venezuela
$169.99
The Case For a Humanistic Poetics
$44.99
Raising a Rock-Star Reader (10-copy pack)
$127.43
Die Bndel-Nagelung
$59.99
Runtime Verification
$39.99
Interacting Stochastic Systems
$54.99
Emerging from the Horizon of History
$119.99
Critical Graphicacy
$54.99
Stochastic Interacting Systems: Contact, Voter and Exclusion Processes
$119.99
Hydraulik der Gerinne und Gerinnebauwerke
$64.99
Building Android Apps in Python Using Kivy with Android Studio
$69.99
Zur Psychologie des Massenmords
$59.99
A General SCF Theory
$54.99
Internationale Finanzwirtschaft
$17.99
Researching Design Learning
$169.99
Electronic Cities
$99.00
Dependability of Critical Computer Systems 1
$54.99
One Belt, One Road, One Story?
$109.00
Drug Effects on Laboratory Test Results
$219.99
Computed Tomography, Anatomy, and Morphometry of the Lower Extremity
$39.99
Advances in 3D Geoinformation
$169.00
Fantasmas
$9.74
Englisch fr Architekten und Bauingenieure - English for Architects and Civil Engineers
$29.99
New Frontiers in Textual Data Analysis
$179.99
Bibliographie der Sowjetischen Philosophie
$44.99
Information Retrieval Technology
$54.99
Wahlkampf mit Humor und Komik
$49.99
Explainable and Interpretable Reinforcement Learning for Robotics
$59.99
Theoretische Physik 1
$74.99
