第1章 原子结构与键合 第2章 固体结构 第3章 晶体缺陷 第4章 固体中原子及分子的运动 第5章 材料的形变和再结晶 第6章 单组元相图及纯晶体的凝固 第7章 二元系相图及其合金的凝固 第8章 三元相图 第9章 材料的亚稳态

介绍了针对不同类型软件(移动应用、并发软件、分布式系统、二进制代码等)的分析方法最后展望了程序分析未来的研究方向和所面临的挑战