000
01241nam 2200313 450
001
012007970007
005
20070510100134.15
010
@ a7-121-03224-4@ dCNY68.00
100
@ a20070329d2006 km y0chiy0120 ea
101
1
@ achi@ ceng
102
@ aCN@ b110000
105
@ ay a 000yy
200
1
@ a程序设计语言理论基础@ Acheng 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许满武 ... [等] 译@ Gxu man wu...[deng]yi@ zeng
210
@ a北京@ c电子工业出版社@ d2006.11
215
@ a563页@ d26cm
225
2
@ a国外计算机科学教材系列@ Aguo wai ji suan ji ke xue jiao cai xi lie
304
@ a题名页其他编著:徐建,衷宜,杨群
320
@ a有书目 (第548-563页)。
330
@ a本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。
410
0
@ 12001 @ a国外计算机科学教材系列
500
10
@ aFoundations for Programming Languages@ mChinese
606
0
@ a程序设计@ Acheng xu she ji@ j教材
690
@ aTP312@ v4
701
1
@ a米切尔,@ Ami qie er,@ g(Mitchell, J. C.)@ 4著
702
0
@ a许满武@ Axu man wu@ 4译
702
0
@ a徐建@ Axu jian@ 4译
702
0
@ a衷宜@ Azhong yi@ 4译
801
0
@ aCN@ c20070510
905
@ a10447@ dTP312@ eM665
程序设计语言理论基础= Foundations for Programming Languages/(美) John.C.Mitchell著/许满武 ... [等] 译.-北京：电子工业出版社，2006.11 563页；26cm.-(国外计算机科学教材系列) ISBN 7-121-03224-4：CNY68.00 本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。 ●
预约/预借
序号
登录号
条形码
馆藏地/架位号
状态
备注
1
238999
202389995
自科二线400A/400A自科库 4排1列2层/
[索取号:TP312/M665]
在馆
2
239000
202390000
期刊室512/301自科库 75排1列4层/
[索取号:TP312/M665]
在馆
3
239001
202390019
期刊室512/301自科库 75排1列4层/
[索取号:TP312/M665]
在馆
