NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings (Lecture Notes in Computer Science) - Softcover
Synopsis
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 assurance
for applications in space, aviation, robotics, and other NASA-relevant critical systems.
"synopsis" may belong to another edition of this title.
Search results for NASA Formal Methods: 17th International Symposium,...
Stock Image
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. Seller Inventory # mon0004126588
Stock Image
NASA Formal Methods (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # JLKF57FV9K
Buy New
US$ 139.34
US$ 7.78 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
NASA Formal Methods
Published by
Springer International Publishing AG, CH, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # LU-9783031937057
Buy New
US$ 199.97
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
NASA Formal Methods
Published by
Springer, Springer Jun 2025, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
New
Taschenbuch
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 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. 456 pp. Englisch. Seller Inventory # 9783031937057
Buy New
US$ 176.49
US$ 26.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
NASA Formal Methods
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 2345704813
Buy New
US$ 150.11
US$ 56.04 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
NASA Formal Methods (Paperback)
Published by
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783031937057
Buy New
US$ 173.30
US$ 49.41 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11?13, 2025, Proceedings (Lecture Notes in Computer Science, 15682)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26404142744
Seller Image
NASA Formal Methods | 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
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. Seller Inventory # 133433412
Buy New
US$ 154.47
US$ 80.08 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
NASA Formal Methods
Published by
Springer, Springer Jun 2025, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 456 pp. Englisch. Seller Inventory # 9783031937057
Buy New
US$ 176.49
US$ 68.64 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11?13, 2025, Proceedings (Lecture Notes in Computer Science, 15682)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 409011527
Buy New
US$ 238.65
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available