形式化方法B的学习课件

时间:2012-02-02 16:37:34
【文件属性】:

文件名称:形式化方法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)

网友评论

  • 不建立 初学者下载,先看一看一些中文材料就可。