形式化语言 Z语言 博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
用户评论
相关推荐
形式化规约Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
PDF
0B
2019-08-03 22:20
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段
PDF
0B
2020-05-15 21:37
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou
PDF
0B
2020-01-11 20:54
软件形式化方法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
形式化B语言
形式化验证B语言安全系统设计软件工程
RAR
0B
2020-05-29 14:00
计算机博士研究生课程
有深入学习计算机知识的人可以看下。这是华中科大的计算机专业博士课程，可以自学指导。
RAR
0B
2019-05-15 17:08
入门书籍z语言的形式化精化和证明
z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社
PDF
0B
2018-12-26 05:23
软件工程形式化z语言辅助工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
RAR
0B
2020-06-13 15:52
Z语言规格说明语言
Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在软件产业的一些大型项目中已经获得成功的应
RAR
0B
2019-07-23 11:32
C语言资料收集
C语言资料收集，适合初学者，初学C语言最好的资料
CHM
0B
2019-07-27 04:30
c语言资源收集
资源名称：c语言资源收集资源目录：【】10单向函数【】C语言范例开发大全(文字版)【】IP子网划分和变长子网掩码（VLSM）【】SecureCRTv7.0破解版【】SecureCRT_win_7.3【
TXT
0B
2020-02-11 04:56
华中科技博士研究生课程表
华中科技大学的计算机博士研究生课程表博士研究生课程表博士研究生课程表
DOC
0B
2019-09-05 04:42
asddsaccc 2018-12-26 05:23:25
比较简略，还得找跟多的
tang_zhihua 2018-12-26 05:23:25
概括介绍z语言