語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Software abstractions : logic, langu...
~
Jackson, Daniel (1963-)
Software abstractions : logic, language, and analysis
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
logic, language, and analysis
作者:
JacksonDaniel, 1963-
出版地:
Cambridge, MA
出版者:
MIT Press;
出版年:
c2012
版本:
Rev. ed.
面頁冊數:
xviii, 354 p.ill. : 24 cm.;
標題:
Computer software - Development -
附註:
Includes bibliographical references and index
ISBN:
978-0-262-01715-2
Software abstractions : logic, language, and analysis
Jackson, Daniel
Software abstractions
: logic, language, and analysis / Daniel Jackson - Rev. ed.. - Cambridge, MA : MIT Press, c2012. - xviii, 354 p. ; ill. ; 24 cm..
Includes bibliographical references and index.
ISBN 978-0-262-01715-2ISBN 0-262-01715-6
Computer software -- Development
Software abstractions : logic, language, and analysis
LDR
:00634nam0 2200217 i 450
001
324861
005
20110713133848.0
009
2011024317
010
1
$a
978-0-262-01715-2
$b
hbk.
$d
NT1173
010
1
$a
0-262-01715-6
$b
hbk.
020
$a
us
$b
2011024317
100
$a
20121122d2012 m y0engy50 ba
101
0
$a
eng
102
$a
us
105
$a
a a 001yy
200
1
$a
Software abstractions
$e
logic, language, and analysis
$f
Daniel Jackson
205
$a
Rev. ed.
210
$a
Cambridge, MA
$c
MIT Press
$d
c2012
215
1
$a
xviii, 354 p.
$c
ill.
$d
24 cm.
300
$a
Includes bibliographical references and index
606
$a
Computer software
$x
Development
$2
lc
$3
58809
676
$a
005.1
$v
23
680
$a
QA76.76.D47
$b
J29 2012
700
1
$a
Jackson
$b
Daniel
$f
1963-
$3
294124
筆 0 讀者評論
館藏地:
全部
六樓西文書庫區
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
292847
六樓西文書庫區
圖書流通(BOOK_CIR)
BOOK
005.1/J12
一般使用(Normal)
書架上
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入