文件名称：软件工程形式化z语言辅助工具
文件大小：8.63MB
文件格式：RAR
更新时间：2014-07-18 04:09:35
z语言 在开发工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
【文件预览】：
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)