Artículos relacionados a Verification, Model Checking, and Abstract Interpretation:...

Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings - Tapa blanda

 
9783030393236: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Esta edición ISBN ya no está disponible.

  • EditorialSpringer
  • Año de publicación2020
  • ISBN 10 3030393232
  • ISBN 13 9783030393236
  • EncuadernaciónTapa blanda
  • IdiomaInglés
  • Número de páginas488
  • EditorBeyer Dirk, Zufferey Damien

(Ningún ejemplar disponible)

Buscar:



Crear una petición

¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.

Crear una petición

Otras ediciones populares con el mismo título

9783030393212: Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, ... Computer Science and General Issues)

Edición Destacada

ISBN 10:  3030393216 ISBN 13:  9783030393212
Editorial: Springer, 2020
Tapa blanda