SAT-Based Scalable Formal Verification Solutions

2014-02-03 分类：工程

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Hardcover: 330 pages

Publisher: Springer (August 15, 2007)

Language: English

ISBN-10: 0387691669

代发服务PDF电子书10元立即求助

1111

 打赏