NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings - Lecture Notes in Computer Science 1st ed. 2021 edition

Name: NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings - Lecture Notes in Computer Science
Price: 14025 JPY
Availability: OutOfStock

価格

¥ 14.025

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月9日 - 年11月19日

クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings - Lecture Notes in Computer Science

1st ed. 2021 edition

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.

402 pages, 80 Illustrations, color; 53 Illustrations, black and white; XVI, 402 p. 133 illus., 80 il

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2021年5月17日
ISBN13	9783030763831
出版社	Springer Nature Switzerland AG
ページ数	402
寸法	150 × 220 × 10 mm · 640 g
言語	ドイツ語
編集者	Dutle, Aaron
編集者	Moscato, Mariano M.
編集者	Munoz, Cesar A.
編集者	Perez, Ivan
編集者	Titolo, Laura