南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Applied formal verification /

紀錄類型:	書目-語言資料,印刷品 : 單行本
正題名/作者:	Applied formal verification // Douglas L. Perry, Harry D. Foster.
作者:	Perry, Douglas L.
其他作者:	Foster, Harry,
出版者:	New York :McGraw-Hill,c2005.
面頁冊數:	xiv, 237 p. :ill. ;24 cm.
標題:	Electronic circuits - Testing. -
電子資源:	http://www.loc.gov/catdir/enhancements/fy0624/2005047881-t.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0624/2005047881-b.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy0624/2005047881-d.html
ISBN:	007144372X (hbk.) :

Applied formal verification /
Perry, Douglas L.

Applied formal verification /Douglas L. Perry, Harry D. Foster. - New York :McGraw-Hill,c2005. - xiv, 237 p. :ill. ;24 cm. - McGraw-Hill electronic engineering. - McGraw-Hill electronic engineering series..

Includes bibliographical references (p. 227-229) and index.

ISBN: 007144372X (hbk.) :NT2865

LCCN: 2005047881Subjects--Topical Terms:

153814
Electronic circuits
--Testing.

LC Class. No.: TK7874.58 / .P47 2005

Dewey Class. No.: 621.3815

Applied formal verification /
LDR:00932nam _2200229 _450 001 139551
005 20060313190228.0
008 050415s2005 nyua b 001 0 eng
010 $a 2005047881
020 $a 007144372X (hbk.) : $c NT2865
035 $a 00109505
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a TK7874.58 $b .P47 2005
082 0 0 $a 621.3815 $2 22
100 1 $a Perry, Douglas L. $3 153085
245 1 0 $a Applied formal verification / $c Douglas L. Perry, Harry D. Foster.
260 $a New York : $b McGraw-Hill, $c c2005.
300 $a xiv, 237 p. : $b ill. ; $c 24 cm.
490 1 $a McGraw-Hill electronic engineering
504 $a Includes bibliographical references (p. 227-229) and index.
650 0 $a Electronic circuits $x Testing. $3 153814
650 0 $a Integrated circuits $x Verification. $3 162889
700 1 $a Foster, Harry, $d 1956- $3 167087
830 0 $a McGraw-Hill electronic engineering series. $3 167088
856 4 1 $3 Table of contents $u http://www.loc.gov/catdir/enhancements/fy0624/2005047881-t.html
856 4 2 $3 Contributor biographical information $u http://www.loc.gov/catdir/enhancements/fy0624/2005047881-b.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0624/2005047881-d.html

館藏地: 出版年: 卷號:

館藏

此限制條件找不到符合的館藏，請您更換限制條件。

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入