語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Games and full abstraction for a fun...
~
McCusker, G.
Games and full abstraction for a functional metalanguage w
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
McCuskerG.,
出版地:
London
出版者:
Springer;
出版年:
c.1998
版本:
2nd ed
面頁冊數:
189 p.ill. : 24 cm.;
集叢名:
Distinguished dissertations
標題:
Functional programming languages -
標題:
Game theory -
標題:
Recursive functions -
ISBN:
3-540-76255-8
Games and full abstraction for a functional metalanguage w
McCusker, G.
Games and full abstraction for a functional metalanguage w
= : / Guy McCusker ; - 2nd ed. - London : Springer, c.1998. - 189 p. ; ill. ; 24 cm.. - (Distinguished dissertations ; ).
Includes bibliographical references.
ISBN 3-540-76255-8
Functional programming languagesGame theoryRecursive functions
Games and full abstraction for a functional metalanguage w
LDR
:00668cam2 2200217 050
001
45119
005
20100521112909.0
009
00083902
010
1
$a
3-540-76255-8
$b
alk. paper
$d
DM139.00
100
$a
20100528d1998 u y0engy09 b
101
0
$a
eng
102
$a
gb
105
$a
a a 000yy
200
1
$a
Games and full abstraction for a functional metalanguage w
$t
h recursive types
$f
Guy McCusker
$d
$e
$g
205
$a
2nd ed
210
$a
London
$c
Springer
$d
c.1998
215
1
$a
189 p.
$c
ill.
$d
24 cm.
225
2
$a
Distinguished dissertations
$v
320
$a
Includes bibliographical references
410
0
$1
2001
$a
Distinguished dissertations
606
$a
Functional programming languages
$2
lc
$3
67174
606
$a
Game theory
$2
lc
$3
67175
606
$a
Recursive functions
$2
lc
$3
67176
676
$a
005.13
$b
M479
700
1
$a
McCusker
$b
G.
$3
67173
801
0
$a
cw
$c
19990706
$g
AACRII
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
097238
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
005.13/M479
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入