1. 首页
  2. 移动开发
  3. 其他
  4. Software Abstractions: Logic Language and Analysis

Software Abstractions: Logic Language and Analysis

上传者: 2020-07-30 19:34:54上传 PDF文件 4.94MB 热度 23次
Software Abstractions: Logic, Language, and Analysis有问题,我的QQ:571669275
用户评论
码姐姐匿名网友 2020-07-30 19:34:54

大牛推介的书

码姐姐匿名网友 2020-07-30 19:34:54

真实可靠的资料,文字版的

码姐姐匿名网友 2020-07-30 19:34:55

要想成为牛逼的程序员,形式化方法应该好好掌握才是,谢谢楼主分享。

码姐姐匿名网友 2020-07-30 19:34:55

非常感谢,非常有用

码姐姐匿名网友 2020-07-30 19:34:55

很好的一本书!!!!非常实用,但是难度较大

码姐姐匿名网友 2020-07-30 19:34:55

不错,原版书,非常感谢~

码姐姐匿名网友 2020-07-30 19:34:55

跟形式化语言相关的书。不错。