語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
A roadmap for formal property verifi...
~
Dasgupta, Pallab.
A roadmap for formal property verification
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
Dasgupta, Pallab.
出版地:
Dordrecht
出版者:
Springer,;
出版年:
c2006
版本:
1st ed
面頁冊數:
xiii, 251 p.ill. : 25 cm.;
標題:
Integrated circuits - Verification. -
ISBN:
978-1-4020-4757-2
A roadmap for formal property verification
Dasgupta, Pallab.
A roadmap for formal property verification
= : / by Pallab Dasgupta. ; - 1st ed. - Dordrecht : Springer,, c2006. - xiii, 251 p. ; ill. ; 25 cm..
Includes bibliographical references(p.[243]-248)and index..
ISBN 978-1-4020-4757-2
Integrated circuits -- Verification.
A roadmap for formal property verification
LDR
:00550cam2 2200181 050
001
190254
005
20100520161756.0
009
00199020
010
1
$a
978-1-4020-4757-2
$b
bd
$d
NT$3598
100
$a
20100529d2006 m y0engy09 e
101
0
$a
eng
105
$a
a z 001yy
200
1
$a
A roadmap for formal property verification
$f
by Pallab Dasgupta.
$d
$e
$g
205
$a
1st ed
210
$a
Dordrecht
$c
Springer,
$d
c2006
215
1
$a
xiii, 251 p.
$c
ill.
$d
25 cm.
320
$a
Includes bibliographical references(p.[243]-248)and index.
606
$a
Integrated circuits
$x
Verification.
$2
csh
$3
204285
681
$a
621.3815
$b
D231
700
1
$a
Dasgupta, Pallab.
$3
204284
801
0
$a
cw
$c
20070329
$g
CCR
筆 0 讀者評論
館藏地:
全部
六樓西文書庫區
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
247064
六樓西文書庫區
圖書流通(BOOK_CIR)
BOOK
621.3815/D231
一般使用(Normal)
書架上
0
六樓西文區
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入