文件名称：形式化方法--北大教学ppt--很经典！
文件大小：2.9MB
文件格式：RAR
更新时间：2014-01-30 16:41:00
形式化方法 北大 经典
形式化方法--北大教学ppt--很经典！共分七章讲解，内容全了。有兴趣的朋友可以看看。
【文件预览】：
新建文件夹
----large-example1[1].pdf(595KB)
----fm01[1].pdf(234KB)
----fm02[1].pdf(576KB)
----fm07[1].pdf(285KB)
----fm06[1].pdf(592KB)
----fm04[1].pdf(354KB)
----fm03[1].pdf(383KB)
----fm05[1].pdf(462KB)