國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Advanced formal verification

~

Drechsler, Rolf

Advanced formal verification

紀錄類型:	書目-語言資料,印刷品 : 單行本
其他作者:	DrechslerRolf,
出版地:	Boston
出版者:	Kluwer Academic Publishers;
出版年:	c2004
面頁冊數:	xxv, 249 pill : 25 cm;
標題:	Electronic circuits - Testing -
標題:	Decision trees -
ISBN:	1402077211

Advanced formal verification
Advanced formal verification / edited by Rolf Drechsler - Boston : Kluwer Academic Publishers, c2004. - xxv, 249 p ; ill ; 25 cm.
Includes bibliographical references and index.
ISBN 1402077211
Electronic circuitsDecision trees -- Testing

Drechsler, Rolf

Advanced formal verification
LDR:00464cam 2200145 i 450 001 463784
005 20101024123121.0
009 alc0097
010 1 $a 1402077211 $b (hbk.) $d NT
100 $a 20080130f 2004m y0engy01 b
101 0 $a eng
200 1 $a Advanced formal verification $f edited by Rolf Drechsler
210 $a Boston $c Kluwer Academic Publishers $d c2004
215 0 $a xxv, 249 p $c ill $d 25 cm
320 $a Includes bibliographical references and index
606 $a Electronic circuits $x Testing $3 451067 $2 lc $3 741849
606 $a Decision trees $3 451068 $2 lc $3 741850
702 $a Drechsler $b Rolf $3 451066
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20040804

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E024205

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

621.381548 A244 2004

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入