SAT-Based Scalable Formal Verification Solutions girro 2014年2月3日 10 阅读 0 评论 工程 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元立即求助