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

Poverty, Development and Food

$59.99

Machine Learning and Knowledge Discovery in Databases

$84.99

Turkish Jews and their Diasporas

$159.99

The Historical Turn in Analytic Philosophy

$84.99

Models and Algorithms of Time-Dependent Scheduling

$169.99

Cosas rojas!

$3.71

Data Warehousing

$84.99

Der Felsbau, Band 1, Theoretischer Teil

$79.99

National Systems of Innovation

$109.99

Generators and Relations for Discrete Groups

$89.99

Machine Learning for Evolution Strategies

$109.99

Unendliche Deutungen

$34.99

Hardy Classes on Riemann Surfaces

$29.99

Ambient Intelligence Software and Applications ,10th International Symposium on Ambient Intellige

$84.99

Strategy for Development

$39.99

Error, Ambiguity, and Creativity

$54.99

Prfungsfragen Psychotherapie

$39.99

Greening Society

$109.99

Moralizing International Relations

$54.99

Citizen Empowerment and Innovation in the Data-Rich City

$129.00

Language Policy and Economics: The Language Question in Africa

$54.99

Prehistory

$74.99

Die Digitale Kluft

$44.99

Intelligent Systems: Safety, Reliability and Maintainability Issues

$84.99

Continental-Crust Structures on the Continental Margin of Western North America

$39.99

Conscience: An Interdisciplinary View

$169.99

Lymphoma and Leukemia of the Nervous System

$169.99

Ion Implantation in Semiconductors

$84.99

Analysis and Correctness of Algebraic Graph and Model Transformations

$39.99

Dictyostelium discoideum

$169.00

Therapeutic Rhodium Complexes

$39.99

Sensing the Nation's Law

$129.00

Hartley Coleridge

$54.99

Global Sourcing of Business and IT Services

$54.99

Human Language Technology. Challenges for Computer Science and Linguistics

$54.99

Einfhrung in die Theorie der elektrischen Maschinen II

$84.99

Lake Taihu, China

$129.00

An Introduction to the Confinement Problem

$59.99

I Want to Grow

$21.95

Discrimination, Challenge and Response

$84.99