形式化语言 z语言缪淮扣

Name: 形式化语言 z语言 缪淮扣
Rating: 4.5 (46 reviews)
Author: 龙7506

上传者：龙7506 2020-05-15 21:37:44上传 PDF文件 7.14MB 热度 46次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

形式化语言z语言缪淮扣

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

大小：0B | 2020-05-15 21:37:44
形式化规约Z语言

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

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

Thisbookcontainsenoughmaterialforthreecoursesofstu...

大小：0B | 2020-01-11 20:54:40
软件形式化方法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
形式化语言Z语言博士研究生课程收集

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

大小：0B | 2018-12-26 05:23:25
移动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
入门书籍z语言的形式化精化和证明

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

大小：0B | 2018-12-26 05:23:07
软件工程形式化z语言辅助工具

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

大小：0B | 2020-06-13 15:52:46
可视化语言文法形式化描述.pdf

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

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

Formal method

大小：0B | 2019-06-22 22:03:24
数据结构-C实现缪淮扣课后答案[1-9]

大小：0B | 2019-03-09 10:28:06
神经语言生成形式化方法与评价

基于神经网络的生成式模型的最新进展重新燃起了计算机系统能够与人类无缝对话并能够理解自然语言的希望。神...

大小：1021KB | 2020-08-29 18:33:08
形式化方法CSP

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

大小：0B | 2020-06-01 19:03:18

形式化语言 z语言 缪淮扣

形式化语言 z语言缪淮扣