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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Air, Water and Soil Quality Modelling for Risk and Impact Assessment
$329.99
berma und Widerstand
$59.99
Neurohumoral Regulation of Coronary Flow
$84.99
Fachenglisch fr BioTAs und BTAs
$37.99
Farbatlas der makroskopischen Pathologie
$54.99
Editing Yeats's Poems
$19.99
The Economic Foundations of Government
$109.99
Failure of Brittle Materials Under Shock and Impact
$179.99
Arteriovenous Access Surgery
$169.99
A Beginners Guide to Learning Analytics
$99.99
Sociopolitical Dimensions of Mathematics Education
$54.99
Lost Causes in and beyond Physics
$54.99
Learning from Disasters
$119.99
Oculoplastic Surgery Atlas
$129.00
Data-Enabled Analytics
$169.99
Refugee (Hardcover)
$13.49
Methoden zur numerischen Simulation der Progression von Gliomen
$64.99
Druckvorstufe
$17.99
Enzyklopdie Philosophie und Wissenschaftstheorie
$49.99
Transformationen gestalten
$44.99
Charakterisierung des temperaturabhngigen Ermdungs- und Schdigungsverhaltens von glasfaserverstr
$84.99
Evolution in Signal Processing and Telecommunication Networks
$299.99
Wrterbuch der Sugetiernamen - Dictionary of Mammal Names
$129.99
Nachhaltiges Personalmanagement in der Praxis
$39.99
Der Hashtag als interdisziplinres Phnomen in Marketing und Kommunikation
$34.99
Temporal Modalities in Arabic Logic
$39.99
Salutogenious Growth Wachstum der Zukunft
$39.99
Neural Information Processing
$54.99
Biomass Compaction
$129.99
Bltter fr Technikgeschichte
$59.99
Advances in Computer Methods and Geomechanics
$329.99
Migration und Politik im geteilten Deutschland whrend des Kalten Krieges
$59.99
Performance Engineering
$39.99
The Symmetry Perspective
$99.99
Incorporating Resiliency Concepts into NFPA Codes and Standards
$39.99
Grundlagen der Strahlungsphysik und des Strahlenschutzes
$69.99
Lecture Notes on Bucket Algorithms
$54.99
Kooperation in der Erwachsenenbildung: Determinanten, Ausprgungen und Leistung
$59.99
Chinas Vocational Education Reform
$119.00
Fundamentals of Surgical Simulation
$129.00
