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
Soft Computing and Its Engineering Applications
$79.99
Intelligent Robotics and Applications
$39.99
The Imperial Idea and its Enemies
$54.99
Drivers of User Engagement in Influencer Branding
$109.99
Bone Circulation and Bone Necrosis
$84.99
Recent Progress in the Mechanics of Defects
$109.99
Soft Skills in Education
$169.99
Intelligent Computer Graphics 2012
$109.99
Kurze Zusammenfassung der Elektrizittslehre
$59.99
... further MRCP Part I
$54.99
Fuzzy-Neuro Approach to Agent Applications
$54.99
Economics Essays
$109.99
From Combinatorics to Philosophy
$129.00
Galois Cohomology
$79.99
Frhkindliche Dysphagien und Trinkschwchen
$64.99
Martingale in diskreter Zeit
$44.99
Sexual Politics in Contemporary Europe
$64.99
Neonatal Head and Spine Ultrasonography
$84.99
How Full Is Your Bucket? Young Reader's Edition
$4.88
Record Weather Data with Arduino and Solar Power
$44.99
Yearbook of the European Convention on Human Rights / Annuaire de la Convention Europeenne des Droit
$109.99
Psychologie der Werte
$39.99
The Palgrave Handbook of International Labour Migration
$189.00
Valuing Oil Spill Prevention
$169.99
RFID im Mobile Supply Chain Event Management
$59.99
Oncogenes
$109.99
Social Innovation and Entrepreneurship in the Fourth Sector
$199.99
HTML5 Solutions
$34.99
Mathe ist wirklich noch viel mehr
$29.99
Visual Reasoning with Diagrams
$84.99
Mathematics (Education) in the Information Age
$39.99
The Organization of Perception and Action
$109.99
Food Safety for Farmers Markets: A Guide to Enhancing Safety of Local Foods
$59.99
Nonperturbative Topological Phenomena in QCD and Related Theories
$99.99
Interactive Governance for Small-Scale Fisheries
$169.99
Transcending Member States
$109.99
Modeling and Simulation of Smart Grid Integrated with Hybrid Renewable Energy Systems
$109.00
Sonographie des Gastrointestinaltrakts
$64.99
Die Not des Gesetzgebers im naturwissenschaftlich-technischen Zeitalter
$54.99
The Biggest Ever: The Biggest Christmas Tree Ever
$5.96
