3 Ebooks tarafından Andrey Rybalchenko
Anna Frid & Andrei S. Morozov: Computer Science – Theory and Applications
…
PDF
İngilizce
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
İngilizce
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
İngilizce
DRM
€57.76
