Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录 PDF图书下载

图书名称:	Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录
出版时间:	2005-3
出版社:	1 (2005年3月24日)
图书作者:	Radhia Cousot
ISBN:	9783540242970
页数:	481

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

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

查看详细:	Verification, Model Checking, and Abstract Interpretation 验证、模型检验与抽象解释/会议录