
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Sintesi
Informazioni sul libro
- Lingua:English
- ISBN:9783030255404
- Data di uscita:12 lug 2019
- Editore:Springer International Publishing
- Sigla editoriale:Springer
- Formato file:EPUB3
- Dimensione del file:39.61 MB
- Opzioni di download:EPUB3 (Adobe DRM)

