同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
数据结构与数据科学
-
¥59.00
-
-
数据结构与数据科学
-
¥59.00
-
-
数据结构与数据科学
-
¥59.00
-
-
软件测试技术与实践
-
¥69.00
-
-
软件测试技术与实践
-
¥69.00
-
-
软件测试技术与实践
-
¥69.00
-
-
Java程序设计基础:微课版
-
¥64.80
-
-
Java程序设计基础:微课版
-
¥64.80
|
|
图书信息
|
|
|
|
形式化方法在构件组装实时系统中的应用研究
|
| ISBN： | 9787566016683 |
定价： | ￥50.00 |
| 作者： | 席琳，马传连著 |
出版社： | 中央民族大学出版社 |
| 出版时间： | 2019年07月 |
开本： | 24cm |
| 页数： | 129页 |
中图法： | TP316.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
493
|
|
2026-07-03
|
图书简介 | | 本书主要内容包括：绪论、CBSD研究综述、构件建筑和构件行为相容性、实时系统测试用例产生、构件选择及组装可靠性分析、相关研究工作。 |
|