someC想读的书 >
-
计算机程序的构造和解释
(1718人已评价)机械工业出版社 | 2004-2《计算机程序的构造和解释(原书第2版)》1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,《计算机程序的构造和解释(原书第2版)》对于计算...
-
Erlang 程序设计
(393人已评价)ARMSTRONG | 人民邮电出版社 | 2008书是讲述下一代编程语言Erlang的权威著作,主要涵盖顺序型编程、异常处理、编译和运行代码、并发编程、并发编程中的错误处理、分布式编程、多核编程等内容。本书将帮助读者在消息传递的基础上构建分布式的并发...
-
程序设计语言理论基础
(11人已评价)[美] 米切尔 | 电子工业出版社 | 2006-11本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。...