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:
Buy NASA Formal Methods for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Rewilding European Landscapes
$59.99
Gesteine bestimmen und verstehen
$44.99
Critical Information Infrastructures Security
$54.99
Risk, Disaster and Crisis Reduction
$109.99
High Performance Computing on Vector Systems 2005
$109.99
Reverse Shoulder Arthroplasty
$119.00
Membrane Physiopathology
$169.00
Sbis on Speech as Action
$139.99
Der Wiener Kreis
$149.99
Intersections in Christianity and Critical Theory
$39.99
A Tribute to the Legend of Professor C. R. Rao
$109.00
Interrupting Chicken: Cookies for Breakfast by David Ezra Stein
$17.99
Vergleichende Tierphysiologie
$59.99
Lineare Algebra fr Wirtschaftswissenschaftler
$19.99
Der Sekundenherztod mit besonderer Bercksichtigung des Herzkammerflimmerns
$59.99
Radio-Technik fr Amateure
$84.99
Gene zum Frhstck
$24.99
My First I Can Read!-Fox the Tiger: Fox the Tiger
$4.46
Long Term Hillslope and Fluvial System Modelling
$84.99
Bow Wow
$6.74
Laborpraxis Bd 1: Einfhrung, Allgemeine Methoden
$54.99
Dynamics and Biogenesis of Membranes
$84.99
Satellite Communications
$54.99
Immunocytochemistry
$54.99
Fuzzy Cognitive Maps
$159.99
Sustainability Science
$129.00
Animal Models in Cardiovascular Research
$169.99
Acoustic Control of Turbulent Jets
$169.99
Das PSM Governance Analysemodell in akteurtheoretischer Perspektive
$59.99
Umweltqualittsziele
$69.99
Laser Additive Manufacturing of High-Performance Materials
$199.99
Commercializing Growth
$44.99
Herzchirurgie I
$59.99
Einsatzmglichkeiten von Expertensystemen in integrierten Systemen der Produktionsplanung und -steue
$59.99
Theory on the Edge
$39.99
Actes du Conseil Gnral Proceedings of the General Council
$54.99
New Regional Initiatives in Chinas Foreign Policy
$54.99
Proceedings of 3rd International Conference on Recent Trends in Machine Learning, IoT, Smart Cities
$189.00
Real Venture Capital
$55.00
Roms Aufstieg zur Weltmacht und die griechische Welt
$59.99
