文书中文目录： 第1章 假想的编译程序 …………………………………………………… 1 第2章 自己设计并使用断言 ……………………………………………… 8 第3章 为子系统设防 ……………………………………………………… 31 第4章 对程序进行逐条跟踪 ……………………………………………… 53 第5章 糖果机界面 ………………………………………………………… 60 第6章 风险事业 …………………………………………………………… 75 第7章 编码中的假象 …………………………………………