SixSun想读的书 >
-
程序设计语言理论基础
(11人已评价)[美] 米切尔 | 电子工业出版社 | 2006-11本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。...
-
编译原理及实践
(118人已评价)Kenneth C·Louden | 机械工业出版社 | 2000-3-1《编译原理及实践》系统介绍了经典的编译理论和技术,同时也包含了面向对象语言等当前较新语言的编译技术。本书更可贵之处在于提供了较完整的适用于教学实践的样例语言,是一本理论和实践内容相结合的、不可多得的好...
-
计算机程序的构造和解释
(1718人已评价)机械工业出版社 | 2004-2《计算机程序的构造和解释(原书第2版)》1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,《计算机程序的构造和解释(原书第2版)》对于计算...
-
梦断代码
(838人已评价)Scott Rosenberg | 电子工业出版社 | 2008.06软件乃是人类自以为最有把握,实则最难掌控的技术。本书作者罗森伯格对OSAF主持的Chandler项目进行田野调查,跟踪经年,试图借由Chandler的开发过程揭示软件开发中的一些根本性大问题。.本书是...