资源大小: 80KB
发布时间: 2009-09-12
文件格式: doc
下载次数: 1
分享到:

下载地址:

下载地址1
(本站为飞网专业下载站,域名:down.cfei.net)

资源简介:

关于形式化验证的很好的综述性文章,写得很好,浅显易懂,条理清楚。


飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。