验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio PDF图书下载

图书名称:	验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
出版时间:	2002-12
出版社:	湖南文艺出版社
图书作者:	Cortesi, Agostino
ISBN:	9783540436317
页数:	330

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

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

查看详细:	验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio