語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Specifying systems : the TLA+ langua...
~
Lamport,, Leslie
Specifying systems : the TLA+ language and tools for hardware
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
the TLA+ language and tools for hardware
作者:
Lamport,Leslie,
出版地:
Boston
出版者:
Addison-Wesley;
出版年:
c2003
面頁冊數:
xvi, 364 p.24 cm.;
標題:
System design. -
標題:
Computer systems - Specifications. -
標題:
Logic, Symbolic and mathematical. -
ISBN:
0-321-14306-X
Specifying systems : the TLA+ language and tools for hardware
Lamport,, Leslie
Specifying systems
= : the TLA+ language and tools for hardware / Leslie Lamport ; - Boston : Addison-Wesley, c2003. - xvi, 364 p. ; 24 cm..
Includes bibliographical references and index..
ISBN 0-321-14306-X
System design.Computer systemsLogic, Symbolic and mathematical. -- Specifications.
Specifying systems : the TLA+ language and tools for hardware
LDR
:00615cam2 2200193 050
001
193837
005
20100520154821.0
009
00161679
010
1
$a
0-321-14306-X
$b
pbk.
$d
NT.1600
100
$a
20100529d2003 k y0engy08 b
101
0
$a
eng
102
$a
us
105
$a
y z 000yy
200
1
$a
Specifying systems
$e
the TLA+ language and tools for hardware
$f
Leslie Lamport
$d
$g
210
$a
Boston
$c
Addison-Wesley
$d
c2003
215
1
$a
xvi, 364 p.
$d
24 cm.
320
$a
Includes bibliographical references and index.
517
1
$a
the TLA+ language and tools for hardware and software engineers
$z
eng
606
$a
System design.
$2
lc
$3
24275
606
$a
Computer systems
$x
Specifications.
$2
lc
$3
209027
606
$a
Logic, Symbolic and mathematical.
$2
lc
$3
32408
676
$a
004.2
$b
L238
700
1
$a
Lamport,
$b
Leslie
$3
209026
801
0
$a
tw
$c
20040422
$g
CCR
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
B2密集書庫3
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
2 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
201998
B2密集書庫3
圖書流通(BOOK_CIR)
BOOK
004.2/L238
一般使用(Normal)
書架上
0
六樓西文區
210397
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
004.2/L238 c.1
一般使用(Normal)
書架上
0
B2密集二
2 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入