Formal Methods: Foundations and Applications: 12th Brazilian girro 2015年5月29日 15 阅读 0 评论 工程 Formal Methods: Foundations and Applications: 12th Brazilian AuthorMarcel Vinícius Medeiros Oliveira, Jim Woodcock Print length: 351 Publication date: 2009-12-01 ISBN-10: 3642104517 ISBN-13: 9783642104510 代发服务PDF电子书10元立即求助