形式化语言 Z语言博士研究生课程收集

Name: 形式化语言 Z语言 博士研究生课程收集
Rating: 4.5 (45 reviews)
Author: qq_18823359

上传者：qq_18823359 2018-12-26 05:23:25上传 RAR文件 5.99MB 热度 45次

形式化语言 Z语言博士生课程中收集的一些关于Z语言的资料

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2018-12-26 05:23:25

比较简略，还得找跟多的

: 码姐姐匿名网友 2018-12-26 05:23:25

概括介绍z语言

形式化语言Z语言博士研究生课程收集

形式化语言 Z语言博士生课程中收集的一些关于Z语言的资料

大小：0B | 2018-12-26 05:23:25
形式化规约Z语言

形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。

大小：0B | 2019-08-03 22:20:14
形式化语言USING IN Z LANGUAGE

Thisbookcontainsenoughmaterialforthreecoursesofstu...

大小：0B | 2020-01-11 20:54:40
形式化语言z语言缪淮扣

z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段

大小：0B | 2020-05-15 21:37:44
软件形式化方法Z语言.rar

北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

大小：0B | 2018-12-26 05:23:20
形式化B语言

形式化验证B语言安全系统设计软件工程

大小：0B | 2020-05-29 14:00:58
Z语言一种形式化描述语言

一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！

大小：0B | 2019-07-23 11:33:11
移动Agent系统的Z语言形式化描述

移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述

大小：0B | 2019-09-19 01:11:03
形式化z语言辅助工具ZEVES

形式化z语言辅助工具Z-EVES进行形式化验证用

大小：0B | 2019-08-02 05:56:59
形式化方法中科院研究生院教程

大小：0B | 2018-12-31 15:34:43
入门书籍z语言的形式化精化和证明

z语言的形式化，精化和证明，有关Z 语言入门的一本书，牛津大学出版社

大小：0B | 2018-12-26 05:23:07
形式化方法与自动机中科院研究生院课程

中科院研究生院教程形式化方法与自动机详尽资料

大小：0B | 2019-06-01 04:01:23
软件工程形式化z语言辅助工具

z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。

大小：0B | 2020-06-13 15:52:46
计算机博士研究生课程

有深入学习计算机知识的人可以看下。这是华中科大的计算机专业博士课程，可以自学指导。

大小：0B | 2019-05-15 17:08:17
可视化语言文法形式化描述.pdf

可视化语言文法形式化描述.pdf

大小：0B | 2020-01-30 00:36:19
本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种...

大小：361KB | 2020-10-28 06:42:12

形式化语言 Z语言 博士研究生课程收集

形式化语言 Z语言博士研究生课程收集