Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030636173 - 6 de diciembre de 2020
En caso de que portada y título no coincidan, el título será el correcto

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers - Lecture Notes in Computer Science 1st ed. 2020 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 book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020.

239 pages, 35 Illustrations, color; 38 Illustrations, black and white; XXVI, 239 p. 73 illus., 35 il

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de diciembre de 2020
ISBN13 9783030636173
Editores Springer Nature Switzerland AG
Páginas 239
Dimensiones 150 × 220 × 10 mm   ·   454 g
Lengua Alemán  
Editor Christakis, Maria
Editor Duggirala, Parasara Sridhar
Editor Polikarpova, Nadia
Editor Schrammel, Peter

Más del mismo editor