عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:1402080271
NATIONAL BIBLIOGRAPHY NUMBER
Number
33668
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Assertion-Based Design
General Material Designation
[electronic resources]
First Statement of Responsibility
\ Harry Foster, Adam Krolnik, David Lacey
EDITION STATEMENT
Edition Statement
2nd ed.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Boston
Name of Publisher, Distributor, etc.
: Kluwer Academic Publishers
Date of Publication, Distribution, etc.
, 2004
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xxiii, 390p.
Other Physical Details
:ill.
Dimensions
;24 cm.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Integrated circuits -- Very large scale integration -- Design and construction
Integrated circuits -- Verification
Verilog (Computer hardware description language)
مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طرح و ساختمان
مدارهای مجتمع -- راستیآزمایی
وریلاگ (زبان توصیفی سختافزار کامپیوتر)
LIBRARY OF CONGRESS CLASSIFICATION
E-Book
,
PERSONAL NAME - PRIMARY RESPONSIBILITY
Foster, Harry,1956-
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Krolnik, Adam
Lacey, David
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170718143145.0
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
1402080271.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy0813/2004042136-d.html
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy0813/2004042136-t.html
BL
279177
1
N
