当前位置：在线查询网 > 图书大全 > Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings_图书大全


请输入要查询的图书：

可以输入图书全称，关键词或ISBN号

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings

ISBN: 9783540311393

出版社: 1 (2006年2月10日)

出版年: 2006-2

页数: 442

定价: 678.00元

装帧: 平装

关键词：Verification Model Checking and Abstract Interpretation 7 th International Conference VMCAI 2006 Charleston SC USA January 8 10 2006 Proceedings