Computation and Reasoning A Type Theory for Computer SciencePDF电子书下载
购买点数
10 点
出版社
Oxford University Press Inc.
出版时间
1994
ISBN
0198538359
标注页数
228 页
PDF页数
239 页
标签
书籍介绍
图书目录
相关书籍
出版社其它书籍
- 《THE THEORY OF MONEY:THE JOHNS HOPKINS UNIVERSITY PRESS BALTIMORE AND LONDON》JURG NIEHANS 1978
- 《THE THEORY OF MONEY:THE JOHNS HOPKINS UNIVERSITY PRESS BALTIMORE AND LONDON》JURG NIEHANS 1978
- 《呼啸山庄》（英）爱·勃朗特（Emily Bronte）著；张玲，张扬译 1999
- 《呼啸山庄》（英）爱·勃朗特（Emily Bronte）著；张玲，张扬译 1999
- 《董贝父子》（英）查尔斯·狄更斯（Charles Dlckens）著；吴辉译 1992
- 《董贝父子》（英）查尔斯·狄更斯（Charles Dlckens）著；吴辉译 1992
- 《董贝父子 上》（英）狄更斯著 1991
- 《董贝父子 上》（英）狄更斯著 1991
- 《科学史及其与哲学和宗教的关系 上》（英）W.C丹皮尔 1975
- 《科学史及其与哲学和宗教的关系 上》（英）W.C丹皮尔 1975
本类热门
