Copied NASA Formal Methods
NASA Formal Methods
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions. The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.
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
|
|
$79.99 | $79.99 |
|
$79.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Calorimetry and Thermal Methods in Catalysis
$129.00
Rationalisierungsstrategien im demografischen Wandel
$49.99
Information and Software Technologies
$54.99
Embracing Well-Being in Diverse African Contexts: Research Perspectives
$119.99
Walking as Critical Inquiry
$159.99
Festivalisation of Urban Spaces
$109.99
Gyrodynamics
$54.99
Mechanisms of Arsenic Toxicity and Tolerance in Plants
$169.00
The Aging Auditory System
$84.99
Restorative Justice in India
$109.99
Autoethnography and Feminist Theory at the Water's Edge
$79.99
Current-Mode Instrumentation Amplifiers
$109.99
Robotics in Education
$169.99
Ambient Intelligence
$54.99
Optimization of Human Cancer Radiotherapy
$54.99
Comparison of Principal Points of Standards for Electrical Machinery (Rotating Machines and Transfor
$54.99
Computer-Aided Design Techniques for Low Power Sequential Logic Circuits
$129.00
Sustainable Geo-Technologies for Climate Change Adaptation
$109.99
Stability Problems for Stochastic Models
$54.99
Octopuses, Squid & Cuttlefish
$24.99
Rookie Read-About Geography-Continents: Africa
$4.46
General Principles of Quantum Field Theory
$199.99
Biology of Cladocera
$219.99
Molecular and Quantum Pharmacology
$169.00
Netzwerkstrategie
$79.95
Energetic Materials
$449.99
DNA Vaccines
$129.00
Organizations in the Face of Crisis
$54.99
Drugs, Violence and Latin America
$79.99
Examens-Fragen Chirurgie
$74.99
Believing and Accepting
$84.99
Designing Reliable Distributed Systems
$79.99
The Alphabet and the Brain
$39.99
Umweltvertrgliche Tribosysteme
$119.00
Biomechanics in Medicine and Biology
$129.00
The External Economic Relations of the EEC
$39.99
Human Rights in a Changing World
$99.99
Kontrolle und Revision bei automatischer Datenverarbeitung
$59.99
Confectionery Packaging Equipment
$109.99
Neurochemical Aspects of Neurotraumatic and Neurodegenerative Diseases
$169.00
