Fundamentals of Program Analysis

来自: 秋 (深圳) 2019-10-08 18:22:35创建 2019-10-08 18:26:21更新

textbooks of MIT 6.820

关注 6 人关注

来自：豆瓣读书

9.0 (99人评价)

作者: Benjamin C. Pierce
出版社: The MIT Press
出版年: 2002-2-1

2019-10-08 18:22:40 赞回复

> 我来回复

来自：豆瓣读书

(3人评价)

作者: Glynn Winskel
出版社: The MIT Press
出版年: 1993-02-05

2019-10-08 18:22:57 赞回复

> 我来回复

来自：豆瓣读书

(3人评价)

作者: Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
出版年: 2010-12

2019-10-08 18:23:06 赞回复

> 我来回复

来自：豆瓣读书

8.6 (22人评价)

作者: Christel Baier / Joost-Pieter Katoen
出版社: The MIT Press
出版年: 2008-05-31

2019-10-08 18:23:13 赞回复

> 我来回复

来自：豆瓣读书

(5人评价)

作者: Adam Chlipala
出版社: The MIT Press
出版年: 2013-12-6

2019-10-08 18:23:27 赞回复

> 我来回复

来自：豆瓣读书

(8人评价)

作者: Yves Bertot / Pierre Castéran / Pierre CastTran
出版社: Springer
出版年: 2004-06-24

2019-10-08 18:23:38 赞回复

> 我来回复

什么是书单 · · · · · ·

书单是收集图书的工具，创建书单后，在豆瓣看到符合书单主题的图书时可以将它放入书单，方便以后找到。

你还可以看看其他人的收集，关注你感兴趣的书单。