Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method girro 2014年7月22日 37 阅读 0 评论 工程EngineeringEngineering: Mechanical Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method by: Boulanger, Jean-Louis Publisher: Wiley ( 2014-07-22 ) ISBN-13: 9781848217096 e-ISBN-13: 9781119002680 ISBN-10: 1848217099 Edition: 1 Language: English 代发服务PDF电子书10元立即求助