1 Електронні книги від Josh Berdine
Josh Berdine & Roberto Giacobazzi: Verification, Model Checking, and Abstract Interpretation
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co- …
PDF
Англійська
DRM
€57.96
