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
9783030763831
Condition
New
Product Description

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

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

Integrated Ground-Based Observing Systems

$129.00

AI-Enabled Threat Detection and Security Analysis for Industrial IoT

$179.99

Deutsche Stadtbaukunst in der Vergangenheit

$69.99

Ocular Toxicology

$39.99

Essential Guide to Managed Extensions for C++

$44.95

Yet Another Introduction to Dark Matter

$54.99

Vehicular Ad-Hoc Networks for Smart Cities

$109.99

The Cholinergic Synapse

$84.99

GeoSpatial Semantics

$39.99

Advances and Challenges in Space-time Modelling of Natural Events

$129.00

Measurement across the Sciences

$89.99

Globalization and Human Rights in the Developing World

$39.99

Software Projects Secrets

$44.99

Die Performance Gap des Abschlussprfers

$64.99

My Cognitive autoMOBILE Life

$49.99

Scanning Probe Microscopy

$79.99

Kundenorientiertes Qualitts-Signaling

$59.99

Judging the State in International Trade and Investment Law

$99.00

Recht und Ethik in der Medizin

$59.99

Advances in Communication and Computing

$109.99

Programmieren lernen

$29.99

Representations of Elizabeth I in Early Modern Culture

$84.99

Fetal Heart Rate Monitoring

$84.99

Asynchronous Machines

$179.99

Indigenous Black Theology

$79.99

Pro iOS Security and Forensics

$19.99

Wavelet Theory and Its Applications

$169.99

Philosophy and Cognitive Science: Categories, Consciousness, and Reasoning

$169.99

Technik, Ingenieur und Hochschulstudium

$59.99

Aesthetic Plastic Surgery of Head and Body

$74.99

Energy in Agriculture Under Climate Change

$54.99

International Joint Conference SOCO16-CISIS16-ICEUTE16

$169.00

Learn About: A Kaleidoscope of Butterflies

$5.24

Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace

$39.99

Postcolonial Literatures and Deleuze

$39.99

Ireland and India

$109.99

Der Freileitungsbau

$54.99

Wind Power Policies and Diffusion in the Nordic Countries

$34.99

The Management of Non-Hodgkins Lymphomas in Europe

$84.99

Transformationsprozesse in sozialistischen Wirtschaftssystemen

$69.99