验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatio
Cortesi, Agostino
湖南文艺出版社
出版时间：2002-12
出版社：湖南文艺出版社
作者：Cortesi, Agostino
页数：330
图书封面
下载链接
验证、模型检验与抽象解读/Verification, model checking, and abstract interpretatioPDF格式下载