文件名称：形式化z语言辅助工具Z-EVES
文件大小：8.63MB
文件格式：RAR
更新时间：2011-12-17 04:37:07
形式化 z语言
形式化z语言辅助工具Z-EVES 进行形式化验证用
【文件预览】：
z语言辅助工具Z-EVES
----usersguide.pdf(458KB)
----guide-windows.pdf(131KB)
----py152.exe(4.8MB)
----z-eves-pc-windows-acl-2.1.exe(3.64MB)
----Z-EVES的下载、安装和使用.htm(1KB)