1 Ebook di Ernie Cohen
Ernie Cohen & Andrey Rybalchenko: Verified Software: Theorie, Tools, Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, …
PDF
Inglese
DRM
€57.76