形式化规约——Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
用户评论
相关推荐
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou
PDF
0B
2020-01-11 20:54
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段
PDF
0B
2020-05-15 21:37
软件规约方法与Z语言
软件规约方法与Z语言软件规约方法与Z语言软件规约方法与Z语言
RAR
0B
2019-08-03 22:20
软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
RAR
0B
2018-12-26 05:23
Z语言一种形式化描述语言
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
PDF
0B
2019-07-23 11:33
形式化z语言辅助工具ZEVES
形式化z语言辅助工具Z-EVES进行形式化验证用
RAR
0B
2019-08-02 05:56
移动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
软件工程形式化z语言辅助工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
RAR
0B
2020-06-13 15:52
C语言编程规约C语言编程规约
C语言编程规约(C语言编程规约)C语言编程规约(C语言编程规约)
PDF
0B
2020-05-13 21:29
形式化B语言
形式化验证B语言安全系统设计软件工程
RAR
0B
2020-05-29 14:00
Z语言谓词演算为主要理论基础的规约语言
将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格说明语言。 Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能
pdf
0B
2019-03-11 01:48
104规约源码.7z
这个程序包含了两个IEC104电力规约的参考文件，我就是参考这两个文件写的104项目。对于编写或者学习104规约的人来说很有帮助
7Z
0B
2020-05-13 01:57
java语言基础规约
java语言基础规约java语言基础规约java语言基础规约java语言基础规约
DOC
0B
2019-07-19 20:21