автор: Ernie Cohen

поддержка

1 Электронные книги 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
английский
DRM
€57.76