参考书籍: Java2 核心技术卷 2 :高级特性(第 7 版)英文版, 作者 Cay S.Horstmann Gary Cornell 人民邮电出版社 1) The structure of an XML document ?xml version=”1.0” encoding=”UTF-8”? !-- This is ...
这是一本介绍C语言及软件工程方面的书籍,书名《A Structured Programming Approach using C, Third Edition》,作者是 B. A. Forouzan and R. F. Gilberg.本书适合计算机系的本科学生、初学者。比较重要的部分就是指针及其应用、字符串处理等。花了将近两天的时间看完这本书,多少还是有些收获的。觉得这本书缺乏有趣的 ...
看过这本书,给出一些感想: 它的英文名为"Logic in Computer Science".作者是 Michael Huth, Mark Ryan. 这本书主要介绍了命题逻辑,谓词逻辑,模型检测中的时态逻辑(包括,线性时态逻辑LTL,计算树逻辑CTL,以及CTL*),模型检测算法和不动点的证明,程序验证,模态逻辑,二叉树判定图.本书还给出相关的模型检测工具NuSMV等, ...