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

Tests and Proofs

17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Tests and Proofs Virgile Prevosto
Código Libristo: 43672513
Editores Springer, Berlin, agosto 2023
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STA... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

También puede interesarle

Empty Cradle Rosie Goodwin / Libro Tapa blanda
common.buy 12.49 €
White Jacket Herman Melville / Libro Tapa blanda
common.buy 21.59 €
Pocket Scottish Tales Tony Potter / Libro Tapa dura
common.buy 8.29 €
Bladder Cancer David Pulver / Libro Tapa dura
common.buy 40.69 €
Engineers as Leaders Calloway Ph.D. Jesse L Calloway Ph.D. / Libro Tapa dura
common.buy 41.59 €
Brick by Brick Sheffield / Libro Tapa dura
common.buy 16.29 €

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023.The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.

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 Tests and Proofs
Autor Virgile Prevosto, Cristina Seceleanu
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2023
Número de páginas 212
EAN 9783031388279
Código Libristo 43672513
Editores Springer, Berlin
Peso 304
Dimensiones 155 x 235

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?