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