«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 Tapa blanda
Libro Software Verification and Formal Methods for ML-Enabled Autonomous Systems Omri Isac
Código Libristo: 41908349
Editores Springer, Berlin, noviembre 2021
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verific... Descripción completa
? points 180 b
73.49 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Etude Sur l'Histoire de Napoleon, de M. Le Bon Martin Sauzay-J / Libro Tapa blanda
common.buy 14.19 €
Osmanlida Devlet Hukuk ve Adalet Halil Inalcik / Libro Tapa blanda
common.buy 16.49 €
A través de la luz: Poemas Carmen Cecilia Diaz De Almeida / Libro Tapa blanda
common.buy 7.99 €
Recueille la fleur de mes pensées Ledent / Libro Tapa dura
common.buy 24.59 €
Skvelá Sisi Kristin Earhart / Libro Tapa dura
common.buy 5.29 €

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 - Tapa blanda
Fecha de publicación 2022
Número de páginas 205
EAN 9783031212215
Código Libristo 41908349
Editores Springer, Berlin
Peso 308
Dimensiones 155 x 235 x 12

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
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

También puede interesarle

When Counterinsurgency Wins Ahmed S Hashim / Libro Tapa dura
common.buy 73.29 €
The Complete Works of Ralph Waldo Emerson: Lectures and Biographical Sketches Edward Waldo Emerson / Libro Tapa dura
common.buy 42.59 €
Introduction to Psychological Science William J. (Pennsylvania State University) Ray / Libro Tapa blanda
common.buy 228.59 €
The Life of Sir Robert Christison Robert Christison / Libro Tapa blanda
common.buy 30.59 €
Consumer Society BARRY SMART / Libro Tapa dura
common.buy 115.59 €
Race for Capital Tope Fasua / Libro Tapa blanda
common.buy 21.79 €
Body for a Body Samuel T Hinton / Libro Tapa dura
common.buy 31.69 €
Pope Pius XII Leonardo Ciampa / Libro Tapa blanda
common.buy 12.29 €
Economic Policy for Growth Salim Rashid / Libro Tapa blanda
common.buy 112.79 €
Our Musicals, Ourselves John Bush Jones / Libro Tapa blanda
common.buy 39.39 €
Effective Teaching of Biology Chris R. Brown / Libro Tapa dura
common.buy 215.89 €

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