同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
Python网络爬虫基础教程（第2版）
-
¥69.80
-
-
Python网络爬虫基础教程（第2版）
-
¥69.80
-
-
Python网络爬虫基础教程（第2版）
-
¥69.80
-
-
即梦Seedance AI视频生成与变现实战
-
¥79.00
-
-
Linux系统管理与配置（openEuler）（AI助…
-
¥49.80
-
-
Linux系统管理与配置（openEuler）（AI助…
-
¥49.80
-
-
Linux系统管理与配置（openEuler）（AI助…
-
¥49.80
-
-
新印象 Unity引擎高清渲染管线HDRP技术精粹
-
¥129.80
|
|
图书信息
|
|
|
|
形式化方法在构件组装实时系统中的应用研究
|
| ISBN： | 9787566016683 |
定价： | ￥50.00 |
| 作者： | 席琳，马传连著 |
出版社： | 中央民族大学出版社 |
| 出版时间： | 2019年07月 |
开本： | 24cm |
| 页数： | 129页 |
中图法： | TP316.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
493
|
|
2026-05-06
|
图书简介 | | 本书主要内容包括：绪论、CBSD研究综述、构件建筑和构件行为相容性、实时系统测试用例产生、构件选择及组装可靠性分析、相关研究工作。 |
|