机读格式显示(MARC)

• 000 02194nam 2200769 450

• 001 0000203403

• 005 20060221153604.0

• 010 __ |a 7-121-01149-2 |d CNY58.00

• 099 __ |a CAL 012005073052

• 100 __ |a 20050617d2005 em y0chiy0121 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a k a 000yy

• 106 __ |a r

• 200 1_ |a 类型和程序设计语言 |A lei xing he cheng xu she ji yu yan |d = Types and programming languages |f (美) Benjamin C. Pierce著 |f 马世龙, 眭跃飞等译 |z eng

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

• 215 __ |a 19, 422页 |d 26cm

• 225 2_ |a 国外计算机科学教材系列 |A guo wai ji suan ji ke xue jiao cai xi lie

• 305 __ |a 据2002年英文版译出

• 306 __ |a 本书中文简体字版由MIT Press授权电子工业出版社出版

• 314 __ |a 责任者 (Pierce) 规范汉译姓: 皮尔斯.

• 320 __ |a 有书目 (第391-422页)

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

• 510 1_ |a Types and programming languages |z eng

• 606 0_ |a 类型学 |A lei xing xue |x 程序设计语言学 |j 教材

• 690 __ |a TP312 |v 4

• 701 _1 |a 皮尔斯, |A pi er si |b B. C. |g (Pierce, Benjamin C.) |4 著

• 702 _0 |a 马世龙 |A ma shi long |4 译

• 702 _0 |a 眭跃飞 |A sui yue fei |4 译

• 801 _0 |a CN |b BUPT |c 20050617

• 801 _2 |a CN |b SCNU |c 20060221

• 905 __ |a SCNU |f TP312/1412

• 920 __ |a 211130 |z 1

• 920 __ |a 211050 |z 1

• 920 __ |a 211090 |z 1

• 920 __ |a 222010 |z 1

• 920 __ |a 211060 |z 1

• 920 __ |a 232020 |z 1

• 920 __ |a 261030 |z 1

• 920 __ |a 232010 |z 1

• 920 __ |a 242170 |z 1

• 920 __ |a 211010 |z 1

• 920 __ |a 245010 |z 1

• 920 __ |a 242120 |z 1

• 920 __ |a 231400 |z 1

• 920 __ |a 251020 |z 1

• 920 __ |a 236010 |z 1

• 920 __ |a 237385 |z 1

• 920 __ |a 231220 |z 1

• 920 __ |a 212010 |z 1

• 920 __ |a 242020 |z 1

• 920 __ |a 237010 |z 1

• 920 __ |a 223140 |z 1

• 920 __ |a 251010 |z 1

• 920 __ |a 231030 |z 1

• 920 __ |a 221120 |z 1

• 920 __ |a 233020 |z 1

• 920 __ |a 222040 |z 1

• 920 __ |a 242030 |z 1

• 920 __ |a 231010 |z 1

• 920 __ |a 211070 |z 1

• 920 __ |a 221060 |z 1

• 998 __ |a BUPT

• 999 __ |M zhshl |m 20060221 15:36:04 |G gly |g 20060224 08:36:05

• 000 0000250818

• 991 __ |a 012006003141

• 907 __ |a SCNU |f TP312/1412