文件名称：软件形式化方法Z语言.rar
文件大小：3.59MB
文件格式：RAR
更新时间：2018-12-25 08:38:23
Z语言 形式化方法
北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。
【文件预览】：
软件形式化方法
----fm03.pdf(384KB)
----fm05.pdf(463KB)
----ex2.pdf(209KB)
----fm01.pdf(235KB)
----fm06.pdf(593KB)
----large-example1.pdf(596KB)
----英文集合与逻辑fm04.pdf(342KB)
----fm02.pdf(577KB)
----IntroFM-Talk.pdf(385KB)
----fm07.pdf(286KB)
----FM-Abrial-CH.pdf(208KB)
----ex1.pdf(150KB)