北大裘宗燕老师的《Z语言形式化方法》,Z语言用于编写软件规范,严格的指导编码过程。
2021-12-14 10:25:54 3.59MB Z语言 形式化方法
1
软件工程形式化方法,Z语言,期末考试复习要点。包括各个章节的知识点可经典例题。
2019-12-21 19:28:36 390KB Z语言 软件形式化方法 期末考试
1