Warning: Constant WP_DEBUG already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 98

Warning: Constant WP_DEBUG_LOG already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 99

Warning: Constant WP_DEBUG_DISPLAY already defined in C:\wwwroot\ebooks.wiki\wp-config.php on line 100
Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings-电子书百科大全

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

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

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

 收藏 (0) 打赏

您可以选择一种方式赞助本站

支付宝扫一扫赞助

微信钱包扫描赞助

未经允许不得转载:电子书百科大全 » Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

分享到: 生成海报

评论 抢沙发

评论前必须登录!

立即登录   注册

登录

忘记密码 ?

切换登录

注册

我们将发送一封验证邮件至你的邮箱, 请正确填写以完成账号注册和激活