《形式化方法在构件组装实时系统中的应用研究》
书名：形式化方法在构件组装实时系统中的应用研究
cip：2019087909复制
作者：
出版社：中央民族大学出版社
出版地：北京
出版时间：2019.5
出版价格：68
席琳，中央民族大学信息化建设管理处工程师，计算机软件与理论专业工学博士，研究方向为信息安全，软件工程，形式化方法，教育信息化应用，在核心期刊及国际会议发表论文数篇。目前参加的省部级课题3项。马传连，中央民族大学信息化建设管理处高级工程师。主要研究方向：教育信息化应用等。
以上是
中央民族大学出版社地址的电子地图，点击地图中按钮可移动、缩放，让您看到
中央民族大学出版社怎么走、位于什么方位等详细地理信息。
