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
$ 84,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 26 de ago.

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

Más del mismo editor