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
Methoden der Wirtschafts- und Sozialwissenschaften
$59.99
Statistical Analysis of Financial Data in S-Plus
$89.00
Molecular Genetics of Axial Patterning, Growth and Disease in the Drosophila Eye
$129.00
The Carnitine System
$39.99
Climate Change Impacts for the Conterminous USA
$84.99
Plasmids in Bacteria
$109.99
Intellectual Disability
$109.99
Electronic States in Crystals of Finite
$139.00
Education and Development in Colonial and Postcolonial Africa
$31.00
China's High-Speed Rail Technology
$199.99
Galician and Irish in the European Context
$39.99
Stress, Health, and the Social Environment
$84.99
Secure Smart Embedded Devices, Platforms and Applications
$249.99
Neurobiology of Arachnids
$109.99
Moderne und Postmoderne
$54.99
Soziale Ungleichheit in der Bundesrepublik Deutschland
$64.99
Tagore and Nationalism
$139.99
State
$49.99
Reviews of Physiology, Biochemistry and Pharmacology
$39.99
No Fixed Abode
$84.99
Four Pillars Grade 2
$645.00
Advances in Manufacturing Technology
$219.99
LATIN 2004: Theoretical Informatics
$109.99
Making Sense of Prostitution
$84.99
Plant Nutrition
$259.00
Biological Invasions in South Africa
$59.99
Advances in Solid and Fracture Mechanics
$199.99
Computer Algebra in Scientific Computing
$39.99
What Is Random?
$9.99
Doing Business in Emerging Europe
$109.99
Proceedings of the Second International Conference on Computer and Communication Technologies
$219.99
High-Speed Maglev Trains Levitation and Guidance Control
$149.99
Marke und digitale Medien
$49.99
Senolytics in Disease, Ageing and Longevity
$159.99
Handbook of International Feminisms
$169.99
Anschlsse an Kupferrohre Herstellung und Automatisierungsmglichkeit
$69.99
Robotic Welding, Intelligence and Automation
$169.00
Explainable AI in Health Informatics
$149.00
Interessenvermittlung zwischen Konkurrenz und Konkordanz
$59.99
In(-)Kongruenz leben
$64.99
