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

Name: Z语言一种形式化描述语言
Rating: 4.5 (41 reviews)
Author: fsfeifei

上传者：fsfeifei 2019-07-23 11:33:11上传 PDF文件 648.2KB 热度 41次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2019-07-23 11:33:11

介绍Z语言，学Z语言可以看看

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

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

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

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

大小：0B | 2019-08-03 22:20:14
移动Agent系统的Z语言形式化描述

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

大小：0B | 2019-09-19 01:11:03
形式化语言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
一种软件加密模型的形式化描述

软件加密技术是软件版权保护的有效手段之一．但以往这方面的研究和公开的文献大多数是从某种具体技术的实现...

大小：0B | 2019-09-11 21:58:33
可视化语言文法形式化描述.pdf

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

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

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

大小：0B | 2020-05-29 14:00:58
协议形式描述语言

主要是协议形式描述语言,主要讲的是XPDL概述以及他的一些分类,可以详细了解此描述语言的功能和作用

大小：1.03MB | 2020-08-20 12:11:24
形式化语言Z语言博士研究生课程收集

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

大小：0B | 2018-12-26 05:23:25
从过程描述语言到Z语言

大小：0B | 2019-04-02 00:19:44
形式化z语言辅助工具ZEVES

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

大小：0B | 2019-08-02 05:56:59
一种可扩展的用户界面描述语言

用户界面描述语言是实现模型驱动的用户界面开发的重要方式.当前的用户界面描述语言一方面在对不同物理特性...

大小：1.62MB | 2021-05-05 02:56:45
入门书籍z语言的形式化精化和证明

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

大小：0B | 2018-12-26 05:23:07
AADL语言结构化描述语言

架构描述语言AADL结构化在航电系统工业控制中一个用巨大

大小：0B | 2019-08-01 21:35:45