«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

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

Idioma InglésInglés
Libro electrónico Adobe ePub DRM
Editores Springer, diciembre 2022
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific... Descripción completa
? points 191 b
77.89 €
En existencia Descarga instantánea

También puede interesarle

Mathematical Methods in Artificial Intelligence Edward A. Bender / Libro Tapa blanda
common.buy 120.09 €
Tattoos & Body Modification Helen Shelton / Libro Tapa blanda
common.buy 17.69 €
Hoppy the Happy Frog: Short Stories, Games, Jokes, and More! Uncle Amon / Libro Tapa blanda
common.buy 10.69 €

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. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components. 

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Autor Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Idioma Inglés
Encuadernación Libro electrónico - Adobe ePub DRM
Fecha de publicación 2022
EAN 9783031212222
Código Libristo 44818991
Editores Springer

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software > Pruebas y verificación de software
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?