文件名称：Dynamic Logic
文件大小：2.23MB
文件格式：PDF
更新时间：2015-03-30 13:20:49
动态逻辑
动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础（Foundations of Computing）系列书之一，是动态逻辑领域最经典的教科书。
Dynamic Logic
【文件属性】：
网友评论
- 很好 这本书不好找啊
- 动态逻辑的书不多，这本很不错。。。
- 好书，讲动态逻辑的 可能唯一的一本书
- 好书，讲动态逻辑的。但是英文版，英文不好的，会比较困难