形式化方法教材

Name: 形式化方法教材
Rating: 4.5 (67 reviews)
Author: yanzeyanga

上传者：yanzeyanga 2020-05-15 21:37:38上传 ZIP文件 15.18MB 热度 67次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

: 码姐姐匿名网友 2020-05-15 21:37:38

全英文教材，有一半的文件不能使用不知是什么情况，但是能使用的部分内容挺全。内容虽然完整，但是内容还是少

形式化方法教材

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

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

Formal method

大小：0B | 2019-06-22 22:03:24
软件开发形式化方法教材

软件开发的形式化方法。语义学方面的教材。

大小：0B | 2019-05-23 00:09:48
形式化方法CSP

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

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

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

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

大小：0B | 2019-01-10 23:14:58
形式化方法课件中文

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

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

大小：0B | 2019-02-22 16:44:23
软件形式化方法PetriZ方法.txt

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

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

软件形式化方法概述.docx

大小：0B | 2020-05-30 13:55:48
欧洲形式化方法的课程安排

形式化方法课程学习可以借鉴一下,哪些比较基础,哪些比较成熟或者先进

大小：765KB | 2021-02-22 14:21:56
高级软件工程形式化方法

大小：0B | 2019-01-11 00:06:44
软件形式化方法Z语言.rar

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

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

形式化方法用书 FSUZ_Lightfoot_01

大小：0B | 2018-12-26 05:23:27
软件开发的形式化方法

大小：0B | 2019-04-09 13:25:53
Petri网原理形式化建模方法

是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等

大小：0B | 2020-05-18 04:30:16