isaachan的读书主页
isaachan的笔记 · · · ( 1篇 )
Concepts, Techniques, and Models of Computer Programming (1)
Peter Van Roy、Seif Haridi / The MIT Press / 2004-2-20 / USD 75.00
-
Preface
读过了前言。前言给出了“计算模型”的定义。 安装了mozart。我的系统是64-bit,没有对应的安装包。解决方法是从 http://www.mozart-oz.org/download/mozart-ftp/store/1.4.0-2008-07-02-tar/mozart-1.4.0.20080704...
isaachan关注的人 · · · ( 全部42 )
最近阅读 · · ·
- 5月26日
- 想读 数学之美
- 5月25日
-
读过
Groovy for Domain-Specific Languages
其实是一本讲Groovy的书,倒数第二章的例子不错。
- 5月21日
- 想读 密码学与网络安全
- 4月27日
-
读过
重来
开卷有益
- 4月4日
- 想读 How Google Tests Software
- 3月23日
- 想读 失控
- 3月22日
- 想读 REST实战
- 3月17日
- 想读 Beautiful Testing
- 3月11日
-
读过
Jenkins
第十章“Advanced Builds”值得翻一翻。Jenkins配上各种插件还是相当强大的。
- 3月9日
- 想读 合作的进化、旅行的艺术
- 3月8日
- 想读 The Annotated Turing
- 2月23日
- 在读 Specification by Example
- 2月19日
- 读过 达摩流浪者
- 2月12日
-
读过
计算机与人脑
翻译的不好。插图对于理解内容也毫无帮助,形同鸡肋。
- 1月20日
- 在读 敏捷软件测试
- 1月11日
-
在读
Concepts, Techniques, and Models of Computer Programming
我的2012年度重点阅读技术书。望大家监督我。

























