عنوان
پدید آورنده
موضوع
رده
TK7874.58 .L36 2005
TK7874
.
58
.
L36
2005
کتابخانه
محل استقرار
0131433474
IR
EB10830
انگلیسی
IR
Hardware design verification
[Electronic Resource]
:simulation and formal method-based approaches
/ William K. Lam
Upper Saddle River, NJ
: Prentice Hall Professional Technical Reference,
, c2005.
xxv, 585 p. ill. 24 cm.
(Prentice Hall modern semiconductor design series)
e
ng
Includes bibliographical references (p. 539-559) and index.
Integrated circuits- Verification
621
.
39
.
2
TK7874
.
58
.
L36
2005
Lam, William K. C.,1962-
ایران
0131433474.chm
محرمانه
محرمانه
0131433474.chm
0
5
old catalog
e
BL
1
a
Y
