形式化方法资料

时间:2010-12-26 05:38:22
【文件属性】:

文件名称:形式化方法资料

文件大小: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

网友评论

  • 内容只有只有课件,没有习题呀