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
Vektoranalysis
$54.99
Genetic Engineering of Plant Secondary Metabolism
$39.99
I Know Why the Caged Bird Sings
$6.74
Radio Critics and Popular Culture
$139.99
Chemistry and Technology of Epoxy Resins
$64.99
Dickens and the Virtual City
$119.99
Disruption in der Event- und Messebranche
$17.99
Physics of Ion Impact Phenomena
$39.99
Herman Heijermans and His Dramas
$109.99
Corrosion of High-Performance Ceramics
$39.99
Refiguring the Archive
$299.99
Nucleic Acid Therapeutics in Cancer
$109.99
Pro Java ME Apps
$49.99
The Poetics of Chinese Cinema
$139.99
Climate Change Adaptations in Dryland Agriculture in Semi-Arid Areas
$169.99
Population Biobank Studies: A Practical Guide
$84.99
Isaac Newton's Temple of Solomon and his Reconstruction of Sacred Architecture
$54.99
Challenges of Active Ageing
$109.99
Farbfernsehtechnik
$69.95
The Upper Atmosphere
$84.99
Fluid-Structure-Sound Interactions and Control
$219.99
Autoimmune Bullous Diseases
$89.99
The Palgrave Handbook of Disability at Work
$149.00
The Kyoto Protocol in the EU
$39.99
Computer and Computing Technologies in Agriculture VI
$84.99
Domain Decomposition Methods in Science and Engineering XXI
$149.00
Finance in Crises
$159.99
Nhe, Distanz und Anerkennung in pdagogischen Beziehungen
$99.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und Experimentellen Therapie
$59.99
Organisation und Netzwerk
$64.99
An Introduction to Multivariate Techniques for Social and Behavioural Sciences
$39.99
Mathematical Models in Cell Biology and Cancer Chemotherapy
$54.99
Mechatronic Modeling of Real-Time Wheel-Rail Contact
$109.99
X-Ray Scattering of Soft Matter
$84.99
Prose Comprehension Beyond the Word
$39.99
H.G. Wells and the Short Story
$84.99
Remote Sensing Geology
$199.99
International Business in Australia before World War One
$109.99
The Wish Tree
$4.46
Datentechnik im Wandel
$69.99
