3 Электронные книги Andrey Rybalchenko
Anna Frid & Andrei S. Morozov: Computer Science — Theory and Applications
…
PDF
английский
DRM
€58.04
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
английский
DRM
€57.96
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
