Advanced_Formal_Verification_eBook

时间：2011-09-27 06:30:15

【文件属性】：

文件名称：Advanced_Formal_Verification_eBook

文件大小：4.44MB

文件格式：PDF

更新时间：2011-09-27 06:30:15

formal verification

formal verification in english

立即下载

网友评论

关于形式化验证很不错的书，可惜是英文的，值得研读。。。

