«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.

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Verified Software. Theories, Tools and Experiments. Akash Lal
Código Libristo: 42588711
Editores Springer, Berlin, noviembre 2022
This book constitutes the refereed proceedings of the 14th International Conference on Verified Soft... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Kangastuksia Armi Susi / Libro Tapa blanda
common.buy 7.59 €
Katalepsis M. Carme Roca / Libro Tapa blanda
common.buy 19.89 €
La puerta de al lado BEIRO / Libro Tapa blanda
common.buy 17.39 €

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focus on the challenges of the verification of cyber-physical systems with machine learning components, Sequential learning and making large-scale verified software a practical reality.

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 Verified Software. Theories, Tools and Experiments.
Autor Akash Lal, Stefano Tonetta
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2023
Número de páginas 156
EAN 9783031258022
Código Libristo 42588711
Editores Springer, Berlin
Peso 258
Dimensiones 155 x 235

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

Modernism and the Celtic Revival Gregory Castle / Libro Tapa blanda
common.buy 63.09 €
Uses and Misuses of Data and Models W. James Bradley / Libro Tapa blanda
common.buy 57.59 €
South Eastern Huastec Narratives: A Trilingual Edition Ana Kondic / Libro Tapa dura
common.buy 53.99 €
Haunted Janae Mitchell / Libro Tapa blanda
common.buy 7.99 €

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