文件名称：形式化语言 Z语言 博士研究生课程收集
文件大小：5.99MB
文件格式：RAR
更新时间：2012-01-13 05:02:59
形式化语言 Z语言
形式化语言 Z语言 博士生课程中收集的一些关于Z语言的资料
【文件预览】：
Z语言
----从过程描述语言到Z语言.pdf(305KB)
----Z语言的实时扩展及应用.NH(3.04MB)
----基于ZML的Z语言规范.pdf(798KB)
----基于Z语言与状态图的测试用例自动生成研究.nh(1.4MB)
----Z语言模式正确性的检验.pdf(505KB)
----Z语言的作业.doc(22KB)
----_desktop.ini(8B)
----Z 语言.doc(24KB)
----基于Z语言的软件工程形式化研究.pdf(243KB)