Aaron Dutle U A (3 results)
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.05
US$ 79.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | xi | Englisch | 2018 | Springer | EAN 9783319779348 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,… juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- More images
Language: English
Published by Springer, 2021
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 95.84
US$ 79.63 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.
- More images
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 153.61
US$ 79.63 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. NASA Formal Methods | 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings | Aaron Dutle (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2025 | Springer | EAN 9783031937057 | Verantwortliche Person für die EU: Springer Verlag GmbH,… Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.


