Nasa Formal Methods 13th (8 results)
Nasa Formal Methods : 13th International Symposium, Nfm 2021, Virtual Event, May 24?28, 2021, Proceedings
Dutle, Aaron (EDT); Moscato, Mariano M. (EDT); Titolo, Laura (EDT); Munoz, Cesar A. (EDT); Perez, Ivan (EDT)
Language: English
Published by Springer, 2021
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 127.32
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Nasa Formal Methods : 13th International Symposium, Nfm 2021, Virtual Event, May 24?28, 2021, Proceedings
Dutle, Aaron (EDT); Moscato, Mariano M. (EDT); Titolo, Laura (EDT); Munoz, Cesar A. (EDT); Perez, Ivan (EDT)
Language: English
Published by Springer, 2021
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 141.66
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2021
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 154.19
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: English
Published by Springer, 2021
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 123.20
US$ 39.02 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…
Language: English
Published by Springer-Nature New York Inc, 2021
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 163.61
US$ 16.70 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 418 pages. 9.25x6.10x0.86 inches. In Stock.
Language: English
Published by Springer, 2021
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 217.42
US$ 33.40 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer, 2021
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 160.06
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
Language: English
Published by Springer, 2021
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 163.29
US$ 11.09 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
