文件名称:形式化方法资料
文件大小: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