2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis PDF图书下载

图书名称:	2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis
出版时间:	2005-10
出版社:	1 (2005年10月26日)
图书作者:	Doron A. Peled
ISBN:	9783540292098
页数:	506

数据来源:	淘宝、当当、京东、亚马逊、豆瓣
下载链接:	PDF格式下载

购买链接:	去淘宝购买去亚马逊购买

查看详细:	2004年第2届国际验证与分析的自动化技术会议录Automated Technology for Verification and Analysis