Copied NASA Formal Methods
NASA Formal Methods
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Density Matrices and Density Functionals
$259.00
Lost in Paris- A Novel by Betty Webb
$16.99
Analytical Methods in Statistics
$99.00
Modellversuche an Werkzeugmaschinenelementen
$59.99
Toxicology of Organophosphate Poisoning
$159.99
Advanced Computing, Machine Learning, Robotics and Internet Technologies
$59.99
Progress in Scale Modeling, Volume II
$169.99
Recent Contributions to Fluid Mechanics
$84.99
Energy Technology and Valuation Issues
$89.00
Masonry: Building Pathologies and Design
$199.99
The Subjective Value of Privacy
$109.99
Energy Culture
$139.99
Advances in Artificial Intelligence and Applied Cognitive Computing
$329.99
Medical Liver Rescue: Answers to Eczema, Psoriasis, Diabetes, Strep, Acne, Gout, Bloating, Gallstones, Adrenal Stress, Fatigue, Fatty Liver, We
$39.99
Wirtschafts- und Sozialkunde Teil 2
$39.99
Nonthermal Plasma Surface Modification of Materials
$159.99
Navies in Violent Peace
$109.99
English / Spanish Grades PreK-2
$106.00
Das Verhltnis von Kriminalitt und konomie
$39.99
Protein Kinase C Protocols
$129.00
Allgemeine Chemie - ein Leselehrbuch
$29.99
Critical Care of the Child
$39.99
Abstract Algebra and Famous Impossibilities
$64.99
Gene Conservation and Exploitation
$169.99
Praxishandbuch Human Resources
$379.99
The Pragmatics of Revision
$54.99
Recht und Gesellschaft
$29.99
Programmieren von Taschenrechnern
$59.99
Rural Welfare in China
$99.99
Transnational Japan as History
$119.99
Positive Peerkultur aus Schlersicht
$39.99
Understanding Campus-Community Partnerships in Conflict Zones
$109.99
European Economies in Transition
$109.99
Image-Guided Interventions
$169.99
Maritime Sicherheit
$44.99
Sticking to the Union
$19.99
Advanced Research on Computer Education, Simulation and Modeling
$109.99
Laser in der Umweltmetechnik / Laser in Remote Sensing
$59.99
Operation and Maintenance of Thermal Power Stations
$84.99
Labor Economics: Problems in Analyzing Labor Markets
$129.00
