推荐Event-B建模 系统和软件工程的书单

ISBN：9787115508997
作者：暂无作者
出版社：中国工信出版集团 人民邮电出版社
出版时间：暂无出版时间
页数：暂无页数
价格：暂无价格
纸张：暂无纸张
装帧：暂无装帧
开本：暂无开本
语言：暂无语言
TAG：Computer Science / Software Engineering / Event-B / Formal Methods / Systems Modeling / Mathematical Formalism / Algorithmic Analysis
豆瓣评分：暂无豆瓣评分