Andrei Paskevich - Böcker
Visar alla böcker från författaren Andrei Paskevich. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 10712 - Lecture Notes in Computer Science
Verified Software. Theories, Tools, and Experiments
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.