Order Total (1 Item Items):
Shipping Destination:
Dutle Aaron (44 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (44)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (41)
- As New, Fine or Near Fine (2)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (44)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (20)
- Not Print on Demand (25)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
-
Condition: As New. Unread book in perfect condition.
-
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.87
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.86
US$ 20.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.27
US$ 20.03 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Nasa Formal Methods : 10th International
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Nasa Formal Methods : 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.93
US$ 20.03 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP.
-
Nasa Formal Methods: 10th International Symposium, Nfm 2018, Newport News, Va, USA, April 17-19, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3319779346 ISBN 13: 9783319779348
US$ 94.48
US$ 16.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 484 pages. 9.25x6.10x1.02 inches. In Stock.
-
Condition: New.
-
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Programming and Software Engineering)
Book 108 of 129: Lecture Notes in Computer ScienceSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 112.13
US$ 16.00 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11â"13, 2025, Proceedings (Lecture Notes in Computer Science)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Cover and edges may have some wear.
-
NASA Formal Methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319779346 ISBN 13: 9783319779348
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 10th International Symposiumon NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefullyreviewed and selected from 92 submissions. The papers focuson formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
-
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.
-
-
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.
-
Nasa Formal Methods: 13th Nasa International Symposium, Nfm 2021, Virtual Event, May 2428, 2021, Proceedings
Book 108 of 129: Lecture Notes in Computer ScienceLanguage: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030763838 ISBN 13: 9783030763831
US$ 163.35
US$ 16.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 418 pages. 9.25x6.10x0.86 inches. In Stock.
-
NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24¿28, 2021, Proceedings
Book 108 of 129: Lecture Notes in Computer ScienceLanguage: English
Published by Springer International Publishing, 2021
ISBN 10: 3030763838 ISBN 13: 9783030763831
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.
-
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 2428, 2021, Proceedings (Lecture Notes in Computer Science)
Book 108 of 129: Lecture Notes in Computer ScienceUS$ 167.81
US$ 33.39 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
NASA Formal Methods
Language: English
Published by Springer International Publishing AG, CH, 2025
ISBN 10: 3031937058 ISBN 13: 9783031937057
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
US$ 199.97
Free Shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
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.
-
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They focus on formal techniques for software and system assurancefor applications in space, aviation, robotics, and other NASA-relevant critical systems.
-
Nasa Formal Methods: 17th International Symposium, Nfm 2025, Hampton Roads, Va, USA, June 1113, 2025, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3031937058 ISBN 13: 9783031937057
US$ 257.32
US$ 16.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 455 pages. 9.25x6.10x9.25 inches. In Stock.
-
NASA Formal Methods
Language: English
Published by Springer International Publishing AG, CH, 2025
ISBN 10: 3031937058 ISBN 13: 9783031937057
US$ 193.83
US$ 86.80 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Condition: new. Questo è un articolo print on demand.
-
NASA Formal Methods
Language: English
Published by Springer International Publishing Mrz 2018, 2018
ISBN 10: 3319779346 ISBN 13: 9783319779348
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 10th International Symposiumon NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018.The 24 full and 7 short papers presented in this volume were carefullyreviewed and selected from 92 submissions. The papers focuson formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. 484 pp. Englisch.
-
Condition: new. Questo è un articolo print on demand.
-
-
