3 Ebooks par Andrey Rybalchenko
Viktor Kuncak & Andrey Rybalchenko: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January …
PDF
Anglais
DRM
€57.82
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
Anglais
DRM
€57.57
