語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Specifying systems：the TLA+ language...
~
Leslie Lamport
Specifying systems：the TLA+ language and tools for hardware
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Leslie Lamport
其他作者:
出版地:
Boston
出版者:
Addison-Wesley;
出版年:
c2003
面頁冊數:
xvi, 364 p.24 cm.;
ISBN:
0-321-14306-X
Specifying systems：the TLA+ language and tools for hardware
Leslie Lamport
Specifying systems：the TLA+ language and tools for hardware
: / Leslie Lamport ; - . - Boston : Addison-Wesley, c2003. - xvi, 364 p. ; ; 24 cm.. - ( ; ).
ISBN 0-321-14306-X
Specifying systems：the TLA+ language and tools for hardware
LDR
:00398cam2 2200157 050
001
274427
009
00162418
010
0
$a
0-321-14306-X
100
$a
20100531
101
0
$a
eng
200
1
$a
Specifying systems：the TLA+ language and tools for hardware
$e
$f
Leslie Lamport
$g
204
$a
205
$a
210
$a
Boston
$c
Addison-Wesley
$d
c2003
215
0
$a
xvi, 364 p.
$c
$d
24 cm.
225
2
$a
$v
681
$a
004.2QA76.9.
700
1
$a
Leslie Lamport
$3
236381
702
$a
$3
158636
筆 0 讀者評論
館藏地:
全部
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
此限制條件找不到符合的館藏，請您更換限制條件。
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入