醒吾科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Introduction to formal hardware verification

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	Kropf,Thomas, 1961-
出版地:	Berlin
出版者:	Springer;
出版年:	c1999
面頁冊數:	ix, 299 p.ill. : 25 cm.;
標題:	Integrated circuits - Very large integration -
ISBN:	3-540-65445-3

Introduction to formal hardware verification
Kropf,, Thomas

Introduction to formal hardware verification / Thomas Kropf - Berlin : Springer, c1999. - ix, 299 p. ; ill. ; 25 cm..
Includes bibliographical references (p. [277]-289) and index.
ISBN 3-540-65445-3
Integrated circuits -- Very large integration

Introduction to formal hardware verification
LDR:00545nam0 2200181 i 450 001 119461
005 20120618125116.0
010 1 $a 3-540-65445-3 $b hc $d NT1146
020 $a us $b 99012500
100 $a 20071107d1999 u y0engy09 b
101 0 $a eng
102 $b gw
105 $a a a 001yy
200 1 $a Introduction to formal hardware verification $f Thomas Kropf
210 $a Berlin $a New York $d c1999 $c Springer
215 1 $a ix, 299 p. $c ill. $d 25 cm.
320 $a Includes bibliographical references (p. [277]-289) and index
606 $a Integrated circuits $x Very large integration $x Materials $3 61895 $3 221939
676 $a 621.39/5 $v 21
680 $a TK7874.75 $b K76 1999
700 $a Kropf, $b Thomas $f 1961- $3 95050

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

尋書單

典藏地名稱

館藏流通類別

00206842

4樓西文圖書區

一般圖書

一般圖書

621.395 K93

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入