2 电子书 Akash Lal
Deepak D’Souza & Akash Lal: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. T …
PDF
英语
DRM
€57.81
Akash Lal & Stefano Tonetta: Verified Software. Theories, Tools and Experiments.
This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17-18, 2022 …
EPUB
英语
DRM
€57.88
