Industrial Use of Formal Methods: Formal Verification girro 2014年1月20日 9 阅读 0 评论 未分类 Industrial Use of Formal Methods: Formal Verification Hardcover: 307 pages Publisher: Wiley (December 27, 2012) Language: English ISBN-10: 1848213638 代发服务PDF电子书10元立即求助