Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings - Lecture Notes in Computer - - Libros - Springer International Publishing AG - 9783031212215 - 16 de diciembre de 2022
En caso de que portada y título no coincidan, el título será el correcto

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings - Lecture Notes in Computer 1st ed. 2022 edition

Precio
$ 70,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 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 refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.

205 pages, 34 Illustrations, color; 8 Illustrations, black and white; X, 205 p. 42 illus., 34 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de diciembre de 2022
ISBN13 9783031212215
Editores Springer International Publishing AG
Páginas 205
Dimensiones 234 × 155 × 18 mm   ·   334 g
Lengua Alemán  
Editor Isac, Omri
Editor Ivanov, Radoslav
Editor Katz, Guy
Editor Narodytska, Nina
Editor Nenzi, Laura

Mere med samme udgiver