E-Book, Englisch, 211 Seiten
Paskevich / Wies Verified Software. Theories, Tools, and Experiments
1. Auflage 2017
ISBN: 978-3-319-72308-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
E-Book, Englisch, 211 Seiten
Reihe: Springer Nature Proceedings Computer Science
ISBN: 978-3-319-72308-2
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark




