C语言图书推荐

《C语言图书推荐》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、C语言图书揽胜2007图灵奖、出版2.0与C语言图书揽胜刘江　　种种迹象表明，出版2.0的时代已经悄然而至。　　Amazon启动的Kindle阅读器+电子书购买下载模式是2007年出版业影响最大的事件之一。它的威力，最近已经开始体现。许多学术性的图书销量远远超过传统出版社的预期，甚至超出了一个数量级。曾经主流的微软模式已经被Google模式所取代。这一大趋势，对于同属知识产业的出版业，很可能也同样适用。　　从市场的销售数据来看，许多读者在选择C方面的图书时仍然比较盲目，存在一定劣币逐良币的情况，这在很大程度上已经成了一些软件开发人员基础不牢、坏毛病较多的病根之一。图1　

2、　还是先说说人和事。大地回春的季节，各种活动也多了起来。其中以最新一届ACM图灵奖揭晓最为受人瞩目，图灵奖是计算机学术界的最高荣誉，相当于其他学科中的诺贝尔奖。据ACM的官方消息，EdmundM.Clarke，AllenEmerson和JosephSifakis因为“在将模型检查发展为被硬件和软件业中所广泛采纳的高效验证技术上的贡献”（ForhisroleindevelopingModel-Checkingintoahighlyeffectiveverificationtechnology,widelyadoptedinthehardwareandsoftwareind

3、ustries）而荣获2007年的图灵奖。　　而权威业界期刊Dr.Dobb’sJournal的报道则将三人的贡献称为“在发现计算机硬件和软件中设计错误的自动化方法方面的工作”（fortheirworkonanautomatedmethodforfindingdesignerrorsincomputerhardwareandsoftware）。模型检查（Model-Checking，也译为模型检验，仿真术语里称为模型校验）本质上是用严密的数学方法来验证设计是否满足预设的需求，从而自动化地发现设计中的错误。按Wikipedia的定义，它是一种检查某一给定模型是否满足某一逻辑

4、规则的方法。其中一种重要的方法，就是通过算法来验证形式化系统，具体方法是验证由硬件或者软件设计导出的模型是否满足通常用模态逻辑规则表示的形式化规范。　　在硬件业，包括半导体业和嵌入式系统中，模型检查已经成为一项非常关键的主流技术。要知道，在硬件行业，如果设计有问题，一旦投产，损失就太大了。正因为这样，图灵奖赞助方之一Intel对三位获奖者的祝贺可以说是充满了感激之情。　　此外，在通信协议、安全算法的设计方面，模型检查也发挥了关键作用。　　但是，软件业对模型检查的重视似乎很不够。一线的软件开发人员可能都对它比较陌生，感觉比较学院化。当然，由于存在可计算性导致的缺陷，以及软

5、件本身的复杂性，模型检查是不可能完全解决软件设计中的bug的。但是，软件业对这种方法的忽视，是否也是软件总体质量不如硬件，或者说低级错误更多的一个原因呢？　　获奖者中EdmundM.Clarke是卡耐基梅隆大学（CMU）的教授，ACM和IEEE计算机学会会士，2005年当选美国工程院院士。曾任教杜克大学和哈佛大学。E.AllenEmerson是得克萨斯大学奥斯汀分校教授，哈佛大学应用数学博士。他位居CiteSeer引用次数最多的前1%计算机科学家之列。另一位获奖者JosephSifakis是法国国家科学研究中心（CentreNationaldelaRechercheSc

6、ientifique）的研究总监。他在雅典技术大学获得电机工程学位，在Grenoble大学获得计算机科学博士学位。关于模型检查的最初论文，是1981年由Clarke和Emerson在哈佛大学，Sifakis和J.P.Queille在法国，各自独立完成的。　　本专栏上篇文章《迎接大的变革：计算机书业回顾与展望》中曾经提到，Amazon启动的Kindle阅读器+电子书购买下载模式是2007年出版业影响最大的事件之一。它的威力，最近已经开始体现。根据SiliconAlleyInsider（硅谷知情者）网站的报道，Kindle电子图书的销售量已经使传统出版社感到震惊。许多学术性

7、的图书销量远远超过出版社的预期，甚至超出了一个数量级。由于Kindle所仿效的先驱——苹果iTune+iPod表现极为惊人，在美国，通过这一在线渠道销售的音乐数量，2007年已经超过了许多大型传统商店包括百思买和Target，仅次于沃尔玛，而据估算，2008年沃尔玛也将被轻易击败……　　种种迹象表明，出版2.0的时代已经悄然而至。　　内容方面，在线多人合作的维基百科（www.wikipedia.org），经过不长时间的发展，无论是词条数还是总体的词条内容和质量都已经远远超过了出版界曾经引以为豪的《大英百科全书》；刚刚创建不久的生物物种百科