Author books / Книги автора Andrei PaskevichThomas Wies (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Andrei PaskevichThomas Wies (eds.)

book Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

pdf

Author: Andrei PaskevichThomas Wies (eds.)
Language: English
Year: 2017

00

29.01.2024

1

0