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

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