isaachan的读书主页

在读   · · ·  ( 7本 )

  • Specification by Example
  • 敏捷软件测试
  • Concepts, Techniques, and Models of Computer Programming
  • 持续交付
  • 设计模式沉思录

读过   · · ·  ( 16本 )

  • Groovy for Domain-Specific Languages
  • 重来
  • Jenkins
  • 达摩流浪者
  • 计算机与人脑
  • 时寒冰说
  • 我不是来演讲的
  • 干法
  • 一九八四
  • Language Implementation Patterns

想读   · · ·  ( 12本 )

  • 数学之美
  • 密码学与网络安全
  • How Google Tests Software
  • 失控
  • REST实战
  • Beautiful Testing
  • 合作的进化
  • 旅行的艺术
  • The Annotated Turing
  • 并行编程模式

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 )

Tony Bai
Tony Bai
玉米人
玉米人
vincentx
vincentx
郭晓
郭晓
加里波第
加里波第
AlbertLee
AlbertLee
ThoughtWorks
ThoughtWorks
瓶子
瓶子
赵阳
赵阳
QiQi
QiQi
[已注销]
[已注销]
豆他爹
豆他爹

最近阅读   · · ·