MARC状态：审校 文献类型：中文图书 浏览次数：82
- 题名/责任者:
- 形式化方法在构件组装实时系统中的应用研究/席琳, 马传连著
- 出版发行项:
- 北京:中央民族大学出版社,2019
- ISBN及定价:
- 978-7-5660-1668-3/CNY50.00
- 载体形态项:
- 129页:图;25cm
- 个人责任者:
- 席琳 著
- 个人责任者:
- 马传连 著
- 学科主题:
- 形式语言-应用-实时操作系统-研究
- 中图法分类号:
- TP316.2
- 中图法分类号:
- TP316
- 书目附注:
- 有书目 (第107-129页)
- 提要文摘附注:
- 席琳, 中央民族大学信息化建设管理处工程师, 计算机软件与理论专业工学博士, 研究方向为信息安全, 软件工程, 形式化方法, 教育信息化应用, 在核心期刊及国际会议发表论文数篇。目前参加的省部级课题3项。马传连, 中央民族大学信息化建设管理处高级工程师。主要研究方向: 教育信息化应用等。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| TP316/43 | 0577248 | 罗庄校区—捐赠书库 | 非可借 | 捐赠书库 | |
| TP316/43 | 0577249 | 罗庄校区—捐赠书库 | 非可借 | 捐赠书库 | |
| TP316/43 | 0577250 | 罗庄校区—捐赠书库 | 非可借 | 捐赠书库 |
显示全部馆藏信息