Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
de Chao Wang, Shuvendu K. Lahiri
Gratis
- Idioma
- Inglés
- Publicación
- 2020
- Editorial
- Springer Nature
- Páginas
- 683
- ISBN
- 9783030532918
Temas
Edición original
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part IPublicado originalmente en 2020 Inglés Springer International Publishing
Otras ediciones (3)
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
- Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Abriendo el lector…
Todavía no hay reseñas. ¿Escribes la primera?