Formalmethodshavefinallycomeofage!Specificationlanguages,theorem
provers,andmodelcheckersarebeginningtobeusedroutinelyinindustry.
Mathematicallogicisbasictoallofthesetechniques.Untilnowtextbooks
onlogicforcomputerscientistshavenotkeptpacewiththedevelopment
of
灰常感谢分享，给予很大的帮助
非常好，就是这本英文教材，对计算机科学中的逻辑讲得很好
是本好书 老师推荐的 就是英文版看起来太累
讨论计算机科学中的逻辑的经典书籍，原版，值得下载
谢谢分享，很难得，不错不错！