1 电子书 Philipp Rummer
Ruzica Piskac & Philipp Rummer: Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK …
EPUB
英语
DRM
€57.77
