形式化方法资料

【文件属性】：
文件名称：形式化方法资料
文件大小：3.63MB
文件格式：RAR
更新时间：2010-12-26 05:38:22
形式化方法 谓词 形式化方法的课件，北大裘宗燕老师的课件

【文件预览】：
fm01.pdf
fm05.pdf
fm03.pdf
fch4.pdf
fm07.pdf
large-example1.pdf
fch2.pdf
fch1.pdf
fm04.pdf
fch7.pdf
fch3.pdf
fch0.pdf
fch5.pdf
fm06.pdf
fch6.pdf
fm02.pdf