（美）罗伊·C.克雷文（Roy C. Craven）著相关电子书下载

ROBERT C. POOLEY1957 年出版207 页ISBN：

Linda C. Gerber2008 年出版223 页ISBN：

R. C. Hingorani.1978 年出版0 页ISBN：

（德）C.莱茵斯（C.Leyens），（德）M.皮特尔斯（M.Peters）编；陈振华等译2005 年出版429 页ISBN：750256408X

C. H. HERFORD1924 年出版262 页ISBN：

C. S. FORESTER1972 年出版192 页ISBN：

LLOYD C. DOUGLAS1937 年出版118 页ISBN：

MAY C. HOFAMM1905 年出版207 页ISBN：

C. S. FORESTER1935 年出版272 页ISBN：

（美）John C. Mitchell著；许满武等译2006 年出版563 页ISBN：7121032244

本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规...