
Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Streszczenie
O tej książce
- Język:English
- ISBN:9783319216904
- Data wydania:15 lip 2015
- Wydawca:Springer International Publishing
- Impressum:Springer
- Format pliku:EPUB2
- Rozmiar pliku:10.36 MB
- Opcje pobierania:EPUB2 (Adobe DRM)



















































