
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Synopse
O knize
- Jazyk:English
- ISBN:9783030255435
- Datum vydání:23. 2. 2022
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:28.25 MB
- Možnosti stahování:EPUB3 (Adobe DRM)
