第4章形式化说明技术.pdf

Name: 第4章 形式化说明技术.pdf
Rating: 4.5 (30 reviews)
Author: qqheadmaster98776

上传者：qqheadmaster98776 2021-04-23 03:36:10上传 PDF文件 2.01MB 热度 30次

第4章-形式化说明技术.pdf

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

第4章形式化说明技术.pdf

第4章-形式化说明技术.pdf

大小：2.01MB | 2021-04-23 03:36:10
第4章形式化说明技术

第4章形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4....

大小：348KB | 2021-04-23 03:36:06
软件工程课件第4章形式化说明技术（基于张海潘第五版）

第 4 章的形式化技术，讲的是软件工程里一个挺烧脑但也实用的部分。张海潘第五版的 PPT 内容比较全...

大小：140.04KB | 2025-06-07 23:09:21
形式化方法

Formal method

大小：0B | 2019-06-22 22:03:24
形式化方法CSP

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

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

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

大小：0B | 2020-05-15 21:37:38
形式化B语言

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

大小：0B | 2020-05-29 14:00:58
形式化方法资料

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

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

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

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

大小：0B | 2019-05-23 00:10:03
软件工程形式化

大小：0B | 2019-01-11 00:06:43
本体的形式化研究

知识本体作为共享概念模型的形式化的规范说明,在信息技术领域的各个方面有着广泛的应用。本体的表示有多种...

大小：361KB | 2020-10-28 06:42:12
形式化方法课件中文

北大形式化方法课程的课件，重点介绍软件开发过程中的形式化方法。

大小：0B | 2018-12-26 05:23:08
可视化语言文法形式化描述.pdf

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

大小：0B | 2020-01-30 00:36:19
协议形式化相关论文

收集的协议形式化的相关论文，总共57篇，希望对别的同学了解协议形式化有所帮助

大小：0B | 2019-09-18 06:45:50
形式化规约Z语言

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

大小：0B | 2019-08-03 22:20:14

第4章 形式化说明技术.pdf

第4章形式化说明技术.pdf