机读格式显示(MARC)
- 000 01487nam2 2200373 4500
- 010 __ |a 7-121-03224- |d CNY68.00
- 010 __ |a 978-7-121-03224- |d CNY68.00
- 100 __ |a 20061117d2006 em y0chiy0121 ea
- 200 1_ |a 程序设计语言理论基础 |A cheng xu she ji yu yan li lun ji chu |d Foundations for programming languages |f (美)John C. Mitchell著 |F ( Mei )John C. Mitchell Zhu |g 许满武 ... [等]译 |z eng
- 210 __ |a 北京 |c 电子工业出版社 |d 2006.11
- 215 __ |a 17, 563页 |d 26cm
- 225 2_ |a 国外计算机科学教材系列 |A guo wai ji suan ji ke xue jiao cai xi lie
- 306 __ |a 由MIT Press授予电子工业出版社出版发行
- 330 __ |a 本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。
- 410 _0 |1 2001 |a 国外计算机科学教材系列
- 510 1_ |a Foundations for programming languages |z eng
- 606 0_ |a 程序语言 |A cheng xu yu yan |j 教材
- 701 _1 |a 米切尔 |A mi qie er |b J. C. |4 著
- 701 A1 |a Mitchell |A Mitchel |b John C. |4 著
- 702 _0 |a 许满武 |A xu man wu |4 译
- 702 _0 |a 徐建 |A xu jian |4 译
- 702 _0 |a 衷宜 |A zhong yi |4 译
- 801 _0 |a CN |b JG |c 20061117
- 905 __ |a HIEL |d TP312/942.2
- 999 __ |a 25 |b 8 |e 07193