عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47W36 2006
QA
76
.
76
.
V47W36
2006
کتابخانه
محل استقرار
English
Abstraction refinement for large scale model checking
New York, N.Y.
Springer
2006
xiv, 179 p. : illus, tables.
Series on integrated circuits and systems
Includes bibliographical references )p. 156-169( and index
Chao Wang, Gary D. Hachtel, Fabio Somenzi
1
Verification Mathematical models ، Computer systems
Verification Mathematical models ، Integrated circuits
Verification Mathematical models ، Electronic systems
004
.
2/1
QA
76
.
76
.
V47W36
2006
Wang, Chao
AU
AU Hachtel, Gary D.
AU Somenzi, Fabio
TI
SE
