类型：
成立时间：
出版社特色：
中国工信出版集团 人民邮电出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
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
内容简介：
暂无相关简介，正在全力查找中！
全格式电子版 - 免费下载