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
The Shock Trauma Manual of Operative Techniques
$139.99
Aspects of Seismic Reflection Data Processing
$169.99
Studien ber Jtland
$59.99
Applying Generalized Linear Models
$79.99
Sharks
$5.21
The Mathematical Representation of Physical Reality
$59.99
Frederick Sanger
$64.99
Oracle Application Express for Mobile Web Applications
$34.99
Dienstleistungsinnovationen durch Digitalisierung
$74.99
Mathematics in the 21st Century
$109.99
Information Technology and Systems
$219.99
Proceedings of International Conference on Data Science and Applications
$249.99
Field Manual of Diseases on Garden and Greenhouse Flowers
$109.99
Caring Capitalism
$109.99
Britain and the GermanZollverein, 184866
$54.99
Theorie und Empirie der Globalisierung
$49.99
Innovations in Green Urbanization and Alternative Renewable Energy
$219.99
The Newlywed Table- A Cookbook to Start Your Life Together by Maria Zizka
$30.00
Erhhung der Fertigungssicherheit und -qualitt beim Hochdruckwasserstrahlen durch den Einsatz von
$69.99
Forging New Frontiers: Fuzzy Pioneers I
$219.99
Kinder und Jugendliche aus Migrantenfamilien im deutschen Bildungssystem
$29.99
Digital Design from the VLSI Perspective
$39.99
Karyotypes of Parasitic Hymenoptera
$129.00
Wandlungen der Kindheit
$44.99
Mechanical Ventilation Amid the COVID-19 Pandemic
$109.99
Gerechtigkeitserleben im wiedervereinigten Deutschland
$59.99
The Case Against Theism
$99.99
Practical Machine Learning with AWS
$79.99
Operatives Auslandsgeschft deutscher Kreditinstitute und Besteuerung
$69.99
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE
$109.99
Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications (Vol. III)
$169.00
Vector Variational Inequalities and Vector Optimization
$129.00
Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies
$129.00
MathStart: The Greatest Gymnast of All
$5.21
Einfhrung in die Lehre von der Bekmpfung der Infektionskrankheiten
$49.99
Stoff-, Motiv- und Symbolforschung
$19.99
Acute Endocrinology:
$169.99
Hizb ut-Tahrir in Britain
$89.00
Storytelling in the Media Convergence Age
$54.99
Biochemistry of Arachidonic Acid Metabolism
$219.99
