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
