文件名称：软件开发的形式化方法
文件大小：11.01MB
文件格式：PDF
更新时间：2012-03-19 12:42:42
软件开发的形式化方法
软件开发的形式化方法 软件开发的形式化方法
软件开发的形式化方法
【文件属性】：
网友评论
- 是一本书，没有目录，应该是个教材
- 是书，但要看懂的话，离散数学必须要学好。
- 好，很赞的一本书
- 正好学习软件开发的形式化方法，老师的课件就是按照这本书来的。
- 比较综述性的文章，有一点点作用。
- 入门的一本书，值得看看
- 书很经典的，简单易懂~
- 形式化方法经典书籍，老师推荐好好读下
- 不错，学习的好书。
- 这是比较经典的 特别CSP那章