2 Электронные книги Ruzica Piskac
Ruzica Piskac & Philipp Rummer: Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK …
EPUB
английский
DRM
€57.77
Constantin Enea & Ruzica Piskac: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 201 …
EPUB
английский
DRM
€57.88
