Applied Formal Verification girro 2015年6月1日 11 阅读 0 评论 工程 Applied Formal Verification by: Douglas L. Perry, Harry Foster Publisher: -Hill Professional Print length: 240 Publication date: 2005-04-29 ISBN-10: 007144372X ISBN-13: 9780071443722 代发服务PDF电子书10元立即求助