Software Abstractions: Logic Language and Analysis
Software Abstractions: Logic, Language, and Analysis有问题，我的QQ:571669275
下载地址
用户评论
大牛推介的书
真实可靠的资料，文字版的
要想成为牛逼的程序员，形式化方法应该好好掌握才是，谢谢楼主分享。
非常感谢，非常有用
很好的一本书！！！！非常实用，但是难度较大
不错，原版书，非常感谢～
跟形式化语言相关的书。不错。