عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47W36 2006
QA
76
.
76
.
V47W36
2006
کتابخانه
محل استقرار
(e-book)
(e-book)
978-0-38734155-2
0387341552
9780387346007
0387346007
IR
45486
انگلیسی
IR
Abstraction refinement for large scale model checking
[Book]
/ Chao Wang, Gary D. Hachtel, Fabio Somenzi
New York
: Springer
, c2006
xiv, 179 p.
:ill.
; 25 cm
Series on integrated circuits and systems
English
Includes bibliographical references (p. 156-169) and index
Computer systems -- Verification -- Mathematical models
Integrated circuits -- Verification -- Mathematical models
Electronic systems -- Verification -- Mathematical model
QA
76
.
76
.
V47W36
2006
Wang, Chao, author
Hachtel, Gary D, author
Somenzi, Fabio, author
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
