Verification, Model Checking, and Abstract Interpretation: 13th Inteational Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Verification, Model Checking, and Abstract Interpretation:13th Inteational Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science)

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

觉得文章有用就打赏一下文章作者

支付宝扫一扫

微信扫一扫