عنوان
پدید آورنده
موضوع
رده
TK7874.58 .L36 2005
TK7874
.
58
.
L36
2005
کتابخانه
محل استقرار
1808
Lam, William K. C.
2691-
Hardware design verification :simulation and formal method-based approaches. ]CD[
Upper Saddle River, NJ
Prentice Hall Professional Technical Reference
c2005
xxv, 585 p. : ill. ; 25 cm.
Prentice Hall modern semiconductor design series.
Includes bibliographical references )p. 539-559( and index
Verification ، Integrated circuits
621
.
39/2
TK7874
.
58
.
L36
2005
AU
William K. Lam
TI
SE
ش دیداری شنیداریبخ
