形式化z语言辅助工具ZEVES
形式化z语言辅助工具Z-EVES进行形式化验证用
用户评论
相关推荐
软件工程形式化z语言辅助工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
RAR
0B
2020-06-13 15:52
形式化规约Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
PDF
0B
2019-08-03 22:20
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou
PDF
0B
2020-01-11 20:54
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段
PDF
0B
2020-05-15 21:37
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
RAR
0B
2018-12-26 05:23
Z语言一种形式化描述语言
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
PDF
0B
2019-07-23 11:33
移动Agent系统的Z语言形式化描述
移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述
pdf文档
0B
2019-09-19 01:11
形式化语言Z语言博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
RAR
0B
2018-12-26 05:23
入门书籍z语言的形式化精化和证明
z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社
PDF
0B
2018-12-26 05:23
形式化B语言
形式化验证B语言安全系统设计软件工程
RAR
0B
2020-05-29 14:00
B语言教程形式化开发
B语言形式化开发指南（书）B语言形式化开发指南（书）B语言形式化开发指南（书）
PDF
0B
2019-05-23 00:10
易语言乐辅助工具
易语言，这个工具蛮好用，
ZIP
0B
2019-01-08 13:47
易语言考勤辅助工具
易语言考勤辅助工具
RAR
0B
2020-04-20 20:27
可视化语言文法形式化描述.pdf
可视化语言文法形式化描述.pdf
PDF
0B
2020-01-30 00:36
神经语言生成形式化方法与评价
基于神经网络的生成式模型的最新进展重新燃起了计算机系统能够与人类无缝对话并能够理解自然语言的希望。神经结构被用于生成文本摘录,在满足不同用户需求的多种上下文和任务中取得了不同程度的成功。
PDF
1021KB
2020-08-29 18:33
q029q 2019-08-02 05:56:59
it is very good book
漫步jietou 2019-08-02 05:56:59
经典，高级程序员用！
qqfew93520 2019-08-02 05:56:59
这个用到了，非常感谢
qqpanda15599 2019-08-02 05:56:59
64位WIN10，好像闪退了……换了Linux系统可以正常运行
situhaoen2 2019-08-02 05:56:59
很好！官网已经停止发布了，多亏在这里还能找到，很有帮助！
liqiao53266 2019-08-02 05:56:59
下载了，但是对z语言不熟，暂时不知道怎么用。。。
qqnegligent29519 2019-08-02 05:56:59
太好了，找了很久才找到，太感谢了，
babyboomer231 2019-08-02 05:56:59
python 2.7环境下运行不了pyw？ 命令行的可以运行
qq_55042576 2019-08-02 05:56:59
还行吧 有点复杂
斯高和 2019-08-02 05:56:59
貌似在装python的时候出了点问题，所以没能安装上，在国外ftp服务器上找到更合适的了，还是感谢分享~