|
000
|
01375nam0 2200337 45
|
|
001
|
012005000000
|
|
005
|
20070628100843.87
|
|
010
|
|
@a7-121-01149-2@dCNY58.00
|
|
100
|
|
@a20050706d2005 em y0chiy0121 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@ay z 000yy
|
|
200
|
1
|
@a类型和程序设计语言@Alei xing he cheng xu she ji yu yan@d= Types and programming languages@f(美)[皮尔斯]Benjamin C. Pierce著@g马世龙，眭跃飞等译@zeng
|
|
210
|
|
@a北京@c电子工业出版社@d2005.5
|
|
215
|
|
@a19,422页@d26cm
|
|
225
|
2
|
@a国外计算机科学教材系列@Aguo wai ji suan ji ke xue jiao cai xi lie
|
|
306
|
|
@aMIT Press授权出版
|
|
320
|
|
@a有书目(第391-422页)
|
|
330
|
|
@a本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化等内容。
|
|
461
|
0
|
@12001 @a国外计算机科学教材系列
|
|
510
|
1
|
@aTypes and programming languages@zeng
|
|
606
|
0
|
@a类型学(语言学)@Alei xing xue ( yu yan xue )
|
|
606
|
0
|
@a程序语言@Acheng xu yu yan
|
|
606
|
0
|
@a类型学(语言学)@Alei xing xue ( yu yan xue )@x应用@x程序语言@j教材
|
|
690
|
|
@aTP312-43@v4
|
|
701
|
1
|
@c(美)@aPierce,@bB. C.@g(Pierce, Benjamin C.)@4著
|
|
701
|
1
|
@c(美)@a皮尔斯,@Api er si@bB. C.@g(Pierce, Benjamin C.)@4著
|
|
702
|
0
|
@a马世龙@Ama shi long@4译
|
|
702
|
0
|
@a眭跃飞@Asui yue fei@4译
|
|
801
|
0
|
@aCN@c20070628
|
|
905
|
|
@dTP312-43@eP615
|
|
|
|
|
| |
| 类型和程序设计语言= Types and programming languages/(美)[皮尔斯]Benjamin C. Pierce著/马世龙，眭跃飞等译.-北京：电子工业出版社，2005.5 |
| 19,422页；26cm.-(国外计算机科学教材系列) |
| |
| |
| ISBN 7-121-01149-2：CNY58.00 |
| 本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化等内容。 |
| ● |
正题名：类型和程序设计语言
索取号：TP312-43/P615
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
450315
|
204503153
|
自科库301/301自科库 83排2列4层/
[索取号:TP312-43/P615]
|
在馆
|
|
|
2
|
450316
|
204503162
|
自科二线504/504自科库 7排2列4层/
[索取号:TP312-43/P615]
|
在馆
|
|
|
3
|
450460
|
204504606
|
自科二线504/504自科库 7排1列4层/
[索取号:TP312-43/P615]
|
在馆
|
|
|
4
|
546891
|
205468910
|
自科库301/301自科库 83排2列4层/
[索取号:TP312-43/P615]
|
在馆
|
|
|
5
|
546892
|
205468929
|
自科二线504/504自科库 7排1列4层/
[索取号:TP312-43/P615]
|
在馆
|
|
|
6
|
546893
|
205468938
|
自科二线504/504自科库 3排4列3层/
[索取号:TP312-43/P615]
|
在馆
|
|
