中国象棋搜索算法

中国象棋搜索算法研究 包括各种经典的搜索算法，可以作为入门参考

Case Studies in Systematic Software Development

形式化方法的应用实例 列举了不同的实例显示形式化方法的应用， 最主要的比如VDM，等等 看完本书，对形式化方法会有一个清楚的认识