Verified Software Theories Tools and Experiments - - Libros - Springer Nature Switzerland AG - 9783030035914 - 24 de noviembre de 2018
En caso de que portada y título no coincidan, el título será el correcto

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión

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

Aún no valorado

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.

345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

Medios de comunicación Libros     Book
Publicado 24 de noviembre de 2018
ISBN13 9783030035914
Editores Springer Nature Switzerland AG
Páginas 345
Dimensiones 150 × 220 × 20 mm   ·   552 g
Lengua Alemán  
Editor Piskac, Ruzica
Editor Rummer, Philipp

Más del mismo editor