Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science - - Libros - Springer Nature Switzerland AG - 9783030393212 - 7 de febrero de 2020
En caso de que portada y título no coincidan, el título será el correcto

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings - Lecture Notes in Computer Science 2020 edition

Precio
$ 86,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020.

471 pages, 63 Illustrations, color; 918 Illustrations, black and white; XIV, 471 p. 981 illus., 63 i

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de febrero de 2020
ISBN13 9783030393212
Editores Springer Nature Switzerland AG
Páginas 471
Dimensiones 234 × 155 × 29 mm   ·   744 g
Lengua Alemán  
Editor Beyer, Dirk, Ph. D.
Editor Zufferey, Damien

Mere med samme udgiver