形式化规约——Z语言

Name: 形式化规约——Z语言
Rating: 4.5 (65 reviews)
Author: 执O着

上传者：执O着 2019-08-03 22:20:14上传 PDF文件 885.01KB 热度 65次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

形式化规约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
形式化语言z语言缪淮扣

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

大小：0B | 2020-05-15 21:37:44
形式化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
形式化语言Z语言博士研究生课程收集

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

大小：0B | 2018-12-26 05:23:25
入门书籍z语言的形式化精化和证明

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

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

Formal method

大小：0B | 2019-06-22 22:03:24
软件工程形式化z语言辅助工具

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

大小：0B | 2020-06-13 15:52:46
形式化方法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
形式化ppt课件

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

大小：0B | 2019-05-23 00:10:03