软件工程形式化z语言辅助工具

Name: 软件工程形式化z语言辅助工具
Rating: 4.5 (51 reviews)
Author: aida48447

上传者：aida48447 2020-06-13 15:52:46上传 RAR文件 8.63MB 热度 51次

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

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

软件工程形式化z语言辅助工具

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

大小：0B | 2020-06-13 15:52:46
形式化z语言辅助工具ZEVES

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

大小：0B | 2019-08-02 05:56:59
软件工程形式化

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

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

形式化方法

大小：0B | 2020-05-15 21:38:05
软件形式化方法Z语言.rar

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

大小：0B | 2018-12-26 05:23:20
形式化规约Z语言

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

大小：0B | 2019-08-03 22:20:14
导航软件辅助工具

大小：0B | 2019-01-20 23:10:49
形式化语言USING IN Z LANGUAGE

Thisbookcontainsenoughmaterialforthreecoursesofstu...

大小：0B | 2020-01-11 20:54:40
《软件工程专业设计》Android校园辅助工具文档

《软件工程专业设计》Android校园辅助工具文档是一份涵盖软件工程领域的设计成果，专注于开发一款面...

大小：1.93MB | 2023-12-19 06:41:08
辅助工具

大小：1000KB | 2020-09-21 22:30:51
[软件工程形式化方法与语言]李莹吴江琴

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

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

大小：8.54MB | 2020-09-17 11:36:08
易语言乐辅助工具

大小：0B | 2019-01-08 13:47:25
易语言考勤辅助工具

易语言考勤辅助工具

大小：0B | 2020-04-20 20:27:32
常青藤辅助工具CAD辅助工具

常青藤辅助工具一个辅助AUTOCAD的插件。可以增强CAD的功能值得下载

大小：0B | 2020-05-07 08:43:27