高级软件工程形式化方法

上传者：EmbeddedSoft_Sanvi 2019-01-11 00:06:44上传其他文件 500kb 热度 26次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

高级软件工程形式化方法

大小：0B | 2019-01-11 00:06:44
软件工程形式化

大小：0B | 2019-01-11 00:06:43
软件工程的形式化方法

形式化方法

大小：0B | 2020-05-15 21:38:05
形式化方法在软件工程中的应用研究

形式化方法是一种基于数学理论的系统性分析方法，在软件工程中被广泛应用。本文综述了形式化方法在软件需求...

大小：296.15KB | 2023-06-06 03:55:21
[软件工程形式化方法与语言]李莹吴江琴

大小：0B | 2019-01-11 00:06:41
软件工程形式化方法与语言李莹.吴江琴

献给所有对技术抱有好奇心和热情的软件工程师们

大小：8.54MB | 2020-09-17 11:36:08
形式化方法

Formal method

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

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

大小：0B | 2020-06-13 15:52:46
软件形式化方法PetriZ方法.txt

百度云连接-如有问题询1039175216软件及其开发概述有限状态机及其扩展Petri网进程代数一阶...

大小：0B | 2020-05-24 07:24:17
软件形式化方法概述.docx

软件形式化方法概述.docx

大小：0B | 2020-05-30 13:55:48
电信协议工程与形式化方法

Telecommunications protocol engineering and formal...

大小：0B | 2019-06-26 17:20:39
形式化方法CSP

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

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

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

大小：0B | 2020-05-15 21:37:38
形式化方法概貌

大小：0B | 2019-01-10 23:14:58
形式化方法资料

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

大小：0B | 2018-12-26 05:23:29
软件形式化方法Z语言.rar

北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

大小：0B | 2018-12-26 05:23:20