Z语言一种形式化描述语言

移动Agent系统的Z语言形式化描述

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

pdf文档

0B

2019-09-19 01:11

形式化规约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-04-02 00:19

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

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

RAR

0B

2018-12-26 05:23

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

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

PDF

0B

2020-01-30 00:36

形式化z语言辅助工具ZEVES

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

RAR

0B

2019-08-02 05:56

形式化B语言

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

RAR

0B

2020-05-29 14:00

入门书籍z语言的形式化精化和证明

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

PDF

0B

2018-12-26 05:23

软件工程形式化z语言辅助工具

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

RAR

0B

2020-06-13 15:52

Verilog HDL硬件描述语言.7z

VerilogHDL硬件描述语言.7z

7Z

0B

2019-06-04 00:24

C语言描述

—C语言描述

PDF

0B

2020-05-23 20:55

一种软件加密模型的形式化描述

软件加密技术是软件版权保护的有效手段之一．但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的，缺乏系统的观念和理论的指导。鉴于此，论文在简要地介绍了加密软件的特点后，结合有穷自动机理论

PDF

0B

2019-09-11 21:58