Event-B建模 系统和软件工程书籍详细信息
- ISBN:9787115508997
- 作者:暂无作者
- 出版社:中国工信出版集团 人民邮电出版社
- 出版时间:暂无出版时间
- 页数:暂无页数
- 价格:暂无价格
- 纸张:暂无纸张
- 装帧:暂无装帧
- 开本:暂无开本
- 语言:暂无语言
- 适合人群:Software engineers, Computer scientists, Systems analysts, Mathematical logicians, Engineering students, Academics interested in formal verification and model-based development
- TAG:Computer Science / Software Engineering / Event-B / Formal Methods / Systems Modeling / Mathematical Formalism / Algorithmic Analysis
- 豆瓣评分:暂无豆瓣评分
- 更新时间:2025-05-02 14:23:39
下载点评