Formal Methods: Industrial Use from Model to the Code girro 2014年1月20日 15 阅读 0 评论 未分类 Formal Methods: Industrial Use from Model to the Code Hardcover: 376 pages Publisher: Wiley (March 4, 2013) Language: English ISBN-10: 184821362X 代发服务PDF电子书10元立即求助