Nasa Formal Methods 13th (10 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
£ 99.65
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer, 2021
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 89.79
£ 11.29 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In English.
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
£ 110.25
£ 1.99 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer, 2021
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 91.88
£ 29.63 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, 2021
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 120.01
£ 3.01 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: English
Published by Springer, 2021
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 71.31
£ 59.25 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xvi | Englisch | 2021 | Springer | EAN 9783030763831 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …
Language: English
Published by Springer-Nature New York Inc, 2021
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 120.10
£ 12.50 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
£ 133.00
£ 25.00 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
£ 122.88
£ 6.50 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
£ 123.99
£ 8.42 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
