1 Ebooks tarafından Andrei Paskevich
Andrei Paskevich & Thomas Wies: Verified Software. Theories, Tools, and Experiments
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, …
EPUB
İngilizce
DRM
€57.91
