Verified Software. Theories, Tools, and Experiments
10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers
Автор:
Ruzica Piskac, Philipp Rümmer
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.68
€
103.02 лв
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th Internationa...
