Formal Methods for Industrial Critical Systems: 13th Intea girro 2015年5月29日 13 阅读 0 评论 工程 Formal Methods for Industrial Critical Systems: 13th Intea AuthorDarren Cofer, Alessandro Fantechi Print length: 233 Publication date: 2009-08-01 ISBN-10: 3642032397 ISBN-13: 9783642032394 代发服务PDF电子书10元立即求助