Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected ... Notes in Computer Science, Band 10712)

von: Andrei Paskevich · Thomas Wies Taschenbuch Details (Deutschland) (siehe auch: Kindle Ausgabe) Details (Vereinigte Staaten) (siehe auch: eBook (Kindle)) Details (Großbritannien) (siehe auch: eBook (Kindle)) EAN=ISBN-13: 978-3-319-72307-5 ISBN-10: 3-319-72307-3 Springer · 2017