
Software Verification
12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Synopse
O knize
- Jazyk:English
- ISBN:9783030636180
- Datum vydání:6. 12. 2020
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB3
- Velikost souboru:15.69 MB
- Možnosti stahování:EPUB3 (Adobe DRM)
