同类推荐
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
微课学UE虚幻引擎场景搭建
-
¥79.80
-
-
Python编程:案例驱动的快速入门与实践
-
¥45.00
-
-
(教)大语言模型：原理、应用与实践
-
¥68.00
-
-
用AI决胜信息学奥赛（C++编程基础）
-
¥99.00
-
-
Spring Boot实践
-
¥129.80
-
-
RAG技术基础与开发实战
-
¥99.00
-
-
AIGC高效编程：Python游戏开发实战（慕课版）
-
¥59.80
-
-
三维设计基础：Blender
-
¥65.00
-
-
Java程序设计
-
¥55.00
|
|
图书信息
|
|
|
|
形式化方法在构件组装实时系统中的应用研究
|
| ISBN： | 9787566016683 |
定价： | ￥50.00 |
| 作者： | 席琳，马传连著 |
出版社： | 中央民族大学出版社 |
| 出版时间： | 2019年07月 |
开本： | 24cm |
| 页数： | 129页 |
中图法： | TP316.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
493
|
|
2026-03-20
|
图书简介 | | 本书主要内容包括：绪论、CBSD研究综述、构件建筑和构件行为相容性、实时系统测试用例产生、构件选择及组装可靠性分析、相关研究工作。 |
|