软件形式化方法Z语言.rar
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
用户评论
相关推荐
形式化规约Z语言
形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。
PDF
0B
2019-08-03 22:20
形式化语言USING IN Z LANGUAGE
Thisbookcontainsenoughmaterialforthreecoursesofstudy:acourseonmathematicsforsoftwareengineering,acou
PDF
0B
2020-01-11 20:54
形式化语言z语言缪淮扣
z语言缪淮扣上海大学形式化语言用于软件工程的各个阶段
PDF
0B
2020-05-15 21:37
软件工程形式化z语言辅助工具
z语言辅助工具，专业的z开发工具，软件工程形式化z语言专用。
RAR
0B
2020-06-13 15:52
软件形式化方法PetriZ方法.txt
百度云连接-如有问题询1039175216软件及其开发概述有限状态机及其扩展Petri网进程代数一阶逻辑时态逻辑Z方法VDMLarch
TXT
0B
2020-05-24 07:24
Z语言一种形式化描述语言
一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！
PDF
0B
2019-07-23 11:33
软件规约方法与Z语言
软件规约方法与Z语言软件规约方法与Z语言软件规约方法与Z语言
RAR
0B
2019-08-03 22:20
软件形式化方法概述.docx
软件形式化方法概述.docx
DOCX
0B
2020-05-30 13:55
形式化z语言辅助工具ZEVES
形式化z语言辅助工具Z-EVES进行形式化验证用
RAR
0B
2019-08-02 05:56
移动Agent系统的Z语言形式化描述
移动Agent系统的Z语言形式化描述，形式化语言的简介，Z语言的介绍以及多ANGENT系统的描述
pdf文档
0B
2019-09-19 01:11
形式化语言Z语言博士研究生课程收集
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
RAR
0B
2018-12-26 05:23
软件开发的形式化方法
软件开发的形式化方法。软件工程专业研究生一年级课程。
PDF
0B
2019-04-09 13:25
软件开发形式化方法教材
软件开发的形式化方法。语义学方面的教材。
PDF
0B
2019-05-23 00:09
高级软件工程形式化方法
高级软件工程，形式化方法
pdf
0B
2019-01-11 00:06
软件工程的形式化方法
形式化方法
PPT
0B
2020-05-15 21:38