語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
A roadmap for formal property verifi...
~
Dasgupta, Pallab
A roadmap for formal property verification
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
DasguptaPallab,
出版地:
Dordrecht
出版者:
Springer;
出版年:
c2006
面頁冊數:
xiii, 251 p.ill. : 25 cm.;
標題:
Integrated circuits - Verification -
ISBN:
9781402047572
A roadmap for formal property verification
Dasgupta, Pallab
A roadmap for formal property verification
/ by Pallab Dasgupta - Dordrecht : Springer, c2006. - xiii, 251 p. ; ill. ; 25 cm..
Includes bibliographical references (p. [243]-248) and index.
ISBN 9781402047572ISBN 1402047576
Integrated circuits -- Verification
A roadmap for formal property verification
LDR
:00715nam 2200241 i 450
001
501930
005
20101024140409.0
009
a(OCoLC)ocm71200310
009
a2006471833
010
1
$a
9781402047572
$b
(hbk.)
010
1
$a
1402047576
$b
(hbk.)
$d
EUR79.95
100
$a
20080130d2006 am0y0engy50020302ba
101
0
$a
eng
102
$a
ne
105
$a
a z 001yy
200
1
$a
A roadmap for formal property verification
$f
by Pallab Dasgupta
210
$a
Dordrecht
$d
c2006
$c
Springer
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
$3
415047
$2
lc
$3
731608
676
$a
621.3815
$v
22
680
$a
TK7874.58
$b
D37 2006
700
1
$a
Dasgupta
$b
Pallab
$3
495186
801
0
$b
COO
801
0
$a
tw
$b
BIB
$c
20071119
801
2
$a
tw
$b
NFU
$c
20091019
$g
CCR
$m
3
筆 0 讀者評論
全部
圖書館3F 書庫
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
E029250
圖書館3F 書庫
一般圖書(BOOK)
一般圖書
621.3815 D229 2006
一般使用(Normal)
在架
0
預約
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入