搜索【软件形式化方法】的结果 - 只为小站

软件形式化方法Z语言.rar

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

2021-12-14 10:25:54 3.59MB Z语言 形式化方法

1

软件形式化方法期末考试复习要点

软件工程形式化方法，Z语言，期末考试复习要点。包括各个章节的知识点可经典例题。

2019-12-21 19:28:36 390KB Z语言 软件形式化方法 期末考试

1