1 电子书 Anders P. Ravn
Zhiming Liu & Anders P. Ravn: Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers …
PDF
英语
DRM
€57.65
