
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Sinopse
Sobre este livro
- Língua:English
- ISBN:9783030532918
- Data de lançamento:15 de jul. de 2020
- Editora:Springer International Publishing
- Impressão:Springer
- Formato de ficheiro:EPUB3
- Tamanho do ficheiro:41.52 MB
- Opções de transferência:EPUB3 (Adobe DRM)












