
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Synopse
O knize
- Jazyk:English
- ISBN:9783319633909
- Datum vydání:14. 7. 2017
- Vydavatel:Springer International Publishing
- Tiráž:Springer
- Formát souboru:EPUB2
- Velikost souboru:11.26 MB
- Možnosti stahování:EPUB2 (Adobe DRM)



















































