机读格式显示(MARC)
- 000 01465nam2 2200397 4500
- 010 __ |a 7-121-01149-2 |d CNY58.00
- 021 __ |a CN |b 01-2002-6448
- 035 __ |a (110017)062002020171
- 100 __ |a 20060823d2005 em y0chiy0110 ea
- 200 1_ |a 类型和程序设计语言 |9 lei xing he cheng xu she ji yu yan |f (美)Benjamin C.Pierce著 |g 马世龙, 眭跃飞等译
- 210 __ |a 北京 |c 电子工业出版社 |d 2005
- 215 __ |a 19,422页 |d 26cm
- 225 2_ |a 国外计算机科学教材系列 |9 guowaijisuanjikexuejiaocaixilie
- 330 __ |a 本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化等内容。
- 461 _0 |1 2001 |a 国外计算机科学教材系列
- 510 1_ |a Types and Programming Languages |z eng
- 606 0_ |a 类型学(语言学) |A leixingxue(yuyanxue) |x 应用 |x 程序语言 |j 教材
- 701 _0 |c (美) |a 皮尔斯 |9 pi er si |c (Pierce, Benjamin C.) |4 著
- 702 _0 |a 马世龙 |9 ma shi long |4 译
- 702 _0 |a 眭跃飞 |9 sui yue fei |4 译
- 801 _0 |a CN |b 110017 |c 20050602
- 801 _2 |a CN |b 261060 |c 20060824
- 905 __ |a XATU |d TP312/213
- 995 __ |a 261060 |f TP312/213
- 999 __ |t C |A cuixiaojing |a 20060823 10:23:39 |I cuixiaojing |i 20060823 10:24:07 |M shan |m 20060824 10:50:12 |G shan |g 20060824 10:50:1