Verification, Model Checking, and Abstract Interpretation:13th Inteational Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science) ISBN-10: 3642279392 ISBN-13: 9783642279393 Edition: 2012 Released:2012-02-26 Paperback: 457 pages List Price 获取PDF电子书代发服务10元立即求助 1111 未经允许不得转载：Wow! eBook » Verification, Model Checking, and Abstract Interpretation:13th Inteational Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
