Verification, Model Checking, and Abstract Interpretation: 13th International 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 资源下载资源下载价格10元立即购买 1111 未经允许不得转载:电子书百科大全 » Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings
评论前必须登录!
登陆 注册