第 6 章 － 风险事业.doc
第 7 章 － 编码中的假象.doc
第 8 章 － 剩下来的就是态度问题.doc
电子版整理者自述.doc
封面.doc
附录 A － 编码检查表.doc
附录 B － 内存登录例程.doc
附录 C － 练习答案.doc
后记 － 走向何方.doc
命名约定.doc
某些背景.doc
目录.doc
序.doc
引言.doc
参考文献.doc
第 1 章 － 假想的编译程序.doc
第 2 章 － 自己设计并使用断言.doc
第 3 章 － 为子系统设防.doc
第 4 章 － 对程序进行逐条跟踪.doc
第 5 章 － 糖果机界面.doc