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

Name: 可视化语言文法形式化描述.pdf
Rating: 4.5 (33 reviews)
Author: x9y9l9dera

上传者：x9y9l9dera 2020-01-30 00:36:19上传 PDF文件 501.32KB 热度 33次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

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

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

大小：0B | 2020-01-30 00:36:19
形式化B语言

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

大小：0B | 2020-05-29 14:00:58
移动Agent系统的Z语言形式化描述

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

大小：0B | 2019-09-19 01:11:03
Z语言一种形式化描述语言

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

大小：0B | 2019-07-23 11:33:11
形式化规约Z语言

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

大小：0B | 2019-08-03 22:20:14
基于数据并行的形式化描述

:由于图形处理器（GPU）的快速发展，基于GPU的通用计算已经成为了一个新的研究领域。通过对通用计算...

大小：0B | 2019-05-15 23:53:12
树突细胞算法的形式化描述

尽管DCA算法在各种入侵检测方面的成功应用证实了DCA在检测率方面具有很好的性能,但到目前为止,对D...

大小：463KB | 2020-07-18 08:18:46
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
工作流模型及其形式化描述

大小：0B | 2019-02-23 05:35:05
形式化语言USING IN Z LANGUAGE

Thisbookcontainsenoughmaterialforthreecoursesofstu...

大小：0B | 2020-01-11 20:54:40
形式化方法CSP

Communicatingsequentialprocesses:形式化方法CSP,进程代数CSP

大小：0B | 2020-06-01 19:03:18
形式化方法教材

形式化方法教材，教材及练习题答案。Ch01-Ch16，APPENDIX2

大小：0B | 2020-05-15 21:37:38
形式化方法资料

形式化方法的课件，北大裘宗燕老师的课件

大小：0B | 2018-12-26 05:23:29
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
形式化ppt课件

B方法的课件资料，主要讲述B方法的原理及其开发应用

大小：0B | 2019-05-23 00:10:03
软件形式化方法Z语言.rar

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

大小：0B | 2018-12-26 05:23:20