
Computer Aided Verification
29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Rezumat
Despre această carte
- Limbă:English
- ISBN:9783319633909
- Data lansării:14 iul. 2017
- Editura:Springer International Publishing
- Casetă tehnică:Springer
- Formatul fișierului:EPUB2
- Dimensiunea fișierului:11.26 MB
- Opțiuni de descărcare:EPUB2 (Adobe DRM)





















































