Copied NASA Formal Methods
NASA Formal Methods
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.
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
Bioprospecting Algae for Materials
$199.99
Narrow Gap Semiconductors 2007
$169.99
Nicht entzndliche Dermatosen II
$69.99
Inverkehrbringen von Arzneimitteln und Medizinprodukten
$49.99
Turbulence in Fluids
$89.99
Energy Law and Economics
$179.99
Nuclear Structure Study with Neutrons
$109.99
The University Becoming
$139.00
Earnings Management
$249.99
Alpin- und Hhenmedizin
$69.99
Assessing Risk Assessment
$89.99
The Theory of Committees and Elections
$169.99
Atlas of Bone Scintigraphy in the Developing Paediatric Skeleton
$109.99
Hair Matters
$14.99
Minimally Invasive Thoracic and Cardiac Surgery
$249.99
Nonlinear Differential Equations and Dynamical Systems
$64.99
Fuel Economy
$219.99
The Cosmic Keyhole
$32.99
Units of Measurement
$149.00
Discovery Science
$89.99
The Palgrave Handbook of Social Democracy in the European Union
$169.00
Untersuchung des Festigkeits- und Verschleiverhaltens von Polyamidzabnrdern zur Schaffung von Bere
$59.99
Semiconductor Device Physics and Simulation
$169.99
Vierstellige Logarithmen-Tafeln nebst Hilfstafeln fr das praktische Rechnen
$59.99
Economics of Involuntary Transfers
$54.99
Acquisition
$29.99
Wavelets
$199.99
Urogenitale Infektionen
$54.99
The Concept of Existence in the Concluding Unscientific Postscript
$109.99
Nationalismus, Militarismus und Mnnlichkeit im Nachkriegs-Zypern
$89.99
Redefining the Psychological Contract in the Digital Era
$179.99
Applied Mathematical Demography
$74.99
Principles of Distributed Systems
$54.99
Mathematical Modelling in Health, Social and Applied Sciences
$79.99
Data Analysis in Astronomy III
$54.99
Theorien des Managements
$74.99
Pancreatic Cytopathology
$139.99
Computer Vision & Laser Vibrometry, Vol. 6
$279.99
Sociological Practice
$109.99
Photosynthesis Bibliography
$54.99
