都说计算机科学如参天大树直达天际; 是谁在关注深达万丈它的理论根系? 都说计算机科学如乘龙驹一日千里; 又有多少人能一探它的地下王国日新月异? 谁说计算机理论只认得工程科技? 微如量子秘如生命竟也服从形式语义; 数学和逻辑能助你捋清千丝万缕; 《计算系统的形式语义》带你明察奥秘!