文件名称：形式化方法B的学习课件
文件大小：89KB
文件格式：RAR
更新时间：2012-02-02 16:37:34
b方法
法国著名大学研究生的b方法学习课件，不容易啊。老师提供的
【文件预览】：
Spécifications Formelles B
----examenJanvier07_08.doc(38KB)
----correctionExamen07_08.doc(29KB)
----Cours2&3.ppt(92KB)
----Cours 6.ppt(98KB)
----Cours 5.ppt(88KB)
----Cours4.ppt(70KB)
----cours7.ppt(45KB)
----Cours1.ppt(122KB)