Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

NASA Formal Methods

NASA Formal Methods

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031606984
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $79.99 - $79.99
BEST PRICE

Single Product Purchase

$79.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

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