東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Assertion-based design

Record Type:	Electronic resources : Monograph/item
Title/Author:	Assertion-based design/ Harry Foster, Adam Krolnik, David Lacey.
Author:	Foster, Harry,
other author:	Krolnik, Adam.
Published:	Boston :Kluwer Academic Publishers, : c2004.,
Description:	xxiii, 390 p. :ill. ;24 cm.
Subject:	Integrated circuits - Verification. -
Online resource:	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=118318An electronic book accessible through the World Wide Web; click for information
ISBN:	140208028X (electronic bk.)

Assertion-based design
Foster, Harry,1956-

Assertion-based design[electronic resource] /Harry Foster, Adam Krolnik, David Lacey. - 2nd ed. - Boston :Kluwer Academic Publishers,c2004. - xxiii, 390 p. :ill. ;24 cm.

Includes bibliographical references (p. 379-383) and index.

Electronic reproduction.
Boulder, Colo. :
NetLibrary,
2004.

Available via World Wide Web.

ISBN: 140208028X (electronic bk.)Subjects--Topical Terms:

827163
Integrated circuits
--Verification.Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: TK7874.75 / F68 2004eb

Dewey Class. No.: 621.39/5

Assertion-based design
LDR:01117cmm a2200265 a 45 001 735293
003 OCoLC
005 20080324
006 m d
007 cr cnu---unuuu
008 250519s2004 maua sb 001 0 eng d
020 $a 140208028X (electronic bk.)
035 $a ocm57335702
035 $a 735293
040 $a N $c N $d OCLCQ
049 $a AMFA
050 1 4 $a TK7874.75 $b F68 2004eb
082 0 4 $a 621.39/5 $2 22
100 $a Foster, Harry, $d 1956- $3 831732
245 1 0 $a Assertion-based design $h [electronic resource] / $c Harry Foster, Adam Krolnik, David Lacey.
250 $a 2nd ed.
260 $a Boston : $c c2004. $b Kluwer Academic Publishers,
300 $a xxiii, 390 p. : $b ill. ; $c 24 cm.
504 $a Includes bibliographical references (p. 379-383) and index.
533 $a Electronic reproduction. $b Boulder, Colo. : $c NetLibrary, $d 2004. $n Available via World Wide Web. $n Access may be limited to NetLibrary affiliated libraries. $n "c2005 Springer Science + Business Media, Inc."
650 $a Integrated circuits $x Verification. $3 827163
650 $a Integrated circuits $x Very large scale integration $x Design and construction. $3 649275
650 $a Verilog (Computer hardware description language) $3 709274
655 $a Electronic books. $2 lcsh $3 542853
700 $a Krolnik, Adam. $3 831730
700 $a Lacey, David. $3 831731
710 $a NetLibrary, Inc. $3 542851
856 4 0 $3 Bibliographic record display $u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=118318 $z An electronic book accessible through the World Wide Web; click for information
994 $a 92 $b AMF