机读格式显示(MARC)

• 000 01469nam2 2200421 4500

• -01 __gzk0406174

• -09 __zyk0154720

• -98 __bm5

• -99 __tsg

• 001 0000154707

• 005 20070420144227.5

• 010 __ |a 7-121-03224-4 |d CNY68.00 |b

• 094 __ |a

• 100 __ |a 20061123d2006 em y0chiy0121 ea

• 101 __ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a a 000yy

• 106 __ |a r

• 200 1_ |a 程序设计语言理论基础 |A Cheng Xu She Ji Yu Yan Li Lun Ji Chu |d = Foundations for programming languages |f (美) John C. Mitchell著 |g 许满武 ... [等] 译 |z eng |e

• 205 __ |a

• 210 __ |a 北京 |c 电子工业出版社 |d 2006

• 215 __ |a 18, 563页 |c 图 |d 26cm

• 225 __ |a 国外计算机科学教材系列 |A Guo Wai Ji Suan Ji Ke Xue Jiao Cai Xi Lie

• 304 __ |a 译者还有: 徐建, 衷宜, 杨群

• 306 __ |a 由MIT Press授予本社出版

• 320 __ |a 有书目 (第548-563页)

• 330 __ |a 本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质。最后三章研究多态类型，连带讨论了抽象数据类型的说明形式和程序模块、类型适应性和类型推理。

• 410 __ |1 2001 |a 国外计算机科学教材系列

• 510 __ |a Foundations for programming languages |z eng

• 606 __ |a 程序语言 |A Cheng Xu Yu Yan |j 教材

• 690 __ |a TP312 |v 4

• 701 __ |a 米切尔, |A Mi Qie Er |b J. C. |g (Mitchell, John C.) |4 著

• 702 __ |a 许满武 |A Xu Man Wu |4 译

• 702 __ |a 徐建 |A Xu Jian |4 译

• 702 __ |a 衷宜 |A Zhong Yi |4 译

• 801 __ |a CN |b ATTC |c 20070420

• 905 __ |a ASTU |d TP312/354

• 915 __ |b 554713-6 |d TP312 |e 354 |a