NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031937057 - 8 de junio de 2025
En caso de que portada y título no coincidan, el título será el correcto

NASA Formal Methods: 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings - Lecture Notes in Computer Science

Precio
$ 148,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de junio de 2025
ISBN13 9783031937057
Editores Springer International Publishing AG
Páginas 442
Dimensiones 150 × 220 × 10 mm   ·   635 g
Lengua Alemán  
Editor Dutle, Aaron
Editor Humphrey, Laura
Editor Titolo, Laura

Mere med samme udgiver