عنوان
پدید آورنده
موضوع
رده
TK 7874.58 .P47 2005
TK
7874
.
58
.
P47
2005
کتابخانه
محل استقرار
007144372x
IR
44693
انگلیسی
IR
Applied formal verification
[Book]
/ Douglas L. Perry, Harry D. Foster
New York
: McGraw-Hill
, c2005
xiv, 237 p.
; 24 cm
English
Includes bibliographical references (p. 227-229) and index
Integrated circuits -- Verification
Electronic circuits -- Testing
TK
7874
.
58
.
P47
2005
Perry, Douglas L, author
Foster, Harry, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
