书籍介绍
《ACM图灵奖:计算机发展史的缩影(1966-2006)(第3版)》介绍了51位ACM图灵奖获得者的工作和事迹。通过对20世纪下半叶及21世纪初有代表性计算机科学家的介绍，多方位、多视角地反映计算机科学技术半个多世纪来的发展历程。《ACM图灵奖:计算机发展史的缩影(1966-2006)(第3版)》在一定程度上反映了计算机体系结构、程序设计语言、算法设计与分析、操作系统和编译程序、数据库技术、计算复杂性理论、软件工程、人工智能等计算机科学技术主要分支的形成过程和发展概况。通过追寻成功者的足迹，给人以必要的启迪，读者可以从阅读《ACM图灵奖:计算机发展史的缩影(1966-2006)(第3版)》中吸取成长和成功所必需的养分。
用户评论
GOTO有害：程序的易读性和易理解性和无条件转移控制的个数成反比；程序测试只能证明有错，决不能证明无错Edsger W. Dijkstra。最弱前置条件方法：将程序设计看做面向目标的活动，编程就是从给定的后断言出发，逆向的逐步推导出满足它的程序 同时计算出所需最弱前置条件 它是一个谓词公式。好的结构 问题能定量描述 有特定的目标函数 有最优算法。公理语义学和标志语义学（语言和数学对象对应 映射是层次且函数是递归的）。代换模型 的基本思想就是函数在计算过程中不断的修改目标，直到计算的目标是最小单元为止，这种方式不再有变量的概念，所有的目标均是通过计算获得
不用一一维基百科了解
这本书大约是06年的还在学校的时候看得吧，今天买到了再版的书，再翻开看了看，以计算机之往昔，忆已之往昔，历历在目，已过往矣！
全是神仙
3.5星，流水账，不过大师们的经历仍然给了很多的鸡血与感动。
喜马拉雅听完的…无限敬仰之情…
cs的发展史，有些奇怪的私货