NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings: 15682 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para NASA Formal Methods: 17th International Symposium,...
Imagen de archivo
NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11â"13, 2025, Proceedings (Lecture Notes in Computer Science)
Librería: Books From California, Simi Valley, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
paperback. Condición: Very Good. Cover and edges may have some wear. Nº de ref. del artículo: mon0004126588
Comprar usado
EUR 112,40
Envío por EUR 4,37
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
NASA Formal Methods (eng)
Impresión bajo demandaLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 3 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: JLKF57FV9K
Comprar nuevo
EUR 118,26
Envío por EUR 6,80
Se envía de Italia a Estados Unidos de America
Se envía de Italia a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
NASA Formal Methods
Publicado por
Springer, Springer Jun 2025, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783031937057
Comprar nuevo
EUR 149,79
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
NASA Formal Methods
Publicado por
Springer Verlag GmbH, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Nº de ref. del artículo: 2345704813
Comprar nuevo
EUR 127,40
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
NASA Formal Methods
Publicado por
Springer International Publishing AG, CH, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
Nuevo
Paperback
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: LU-9783031937057
Comprar nuevo
EUR 178,48
Gastos de envío gratis
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
NASA Formal Methods (Paperback)
Publicado por
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
Nuevo
Paperback
Librería: CitiRetail, Stevenage, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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. Nº de ref. del artículo: 9783031937057
Comprar nuevo
EUR 150,44
Envío por EUR 42,89
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11?13, 2025, Proceedings (Lecture Notes in Computer Science, 15682)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Nº de ref. del artículo: 26404142744
Comprar nuevo
EUR 203,52
Envío por EUR 3,49
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
NASA Formal Methods
Publicado por
Springer, Springer Jun 2025, 2025
ISBN 10: 3031937058
ISBN 13: 9783031937057
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783031937057
Comprar nuevo
EUR 149,79
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783031937057
Comprar nuevo
EUR 149,79
Envío por EUR 63,43
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
NASA Formal Methods: 17th International Symposium, NFM 2025, Hampton Roads, VA, USA, June 11?13, 2025, Proceedings (Lecture Notes in Computer Science, 15682)
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND. Nº de ref. del artículo: 18404142738
Comprar nuevo
EUR 207,10
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles