机读格式显示(MARC)

• 000 01353cam0 2200301 450

• 001 0000703796

• 005 20200815105800.0

• 010 __ |a 978-7-5660-1668-3 |d CNY50.00

• 099 __ |a CAL 012019130157

• 100 __ |a 20190802d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 形式化方法在构件组装实时系统中的应用研究 |A xing shi hua fang fa zai gou jian zu zhuang shi shi xi tong zhong de ying yong yan jiu |d = Study on the application of formal method in component based real time system |f 席琳, 马传连著 |z eng

• 210 __ |a 北京 |c 中央民族大学出版社 |d 2019

• 215 __ |a 129页 |c 图 |d 25cm

• 320 __ |a 有书目 (第107-129页)

• 330 __ |a 席琳, 中央民族大学信息化建设管理处工程师, 计算机软件与理论专业工学博士, 研究方向为信息安全, 软件工程, 形式化方法, 教育信息化应用, 在核心期刊及国际会议发表论文数篇。目前参加的省部级课题3项。马传连, 中央民族大学信息化建设管理处高级工程师。主要研究方向: 教育信息化应用等。

• 510 1_ |a Study on the application of formal method in component based real time system |z eng

• 606 0_ |a 形式语言 |A xing shi yu yan |x 应用 |x 实时操作系统 |x 研究

• 690 __ |a TP316.2 |v 5

• 701 _0 |a 席琳 |A xi lin |4 著

• 701 _0 |a 马传连 |A ma zhuan lian |4 著

• 801 _0 |a CN |b 261080 |c 20191011

• 801 _2 |a CN |b PUL |c 20191021

• 905 __ |a SCNU |f TP316.2/0014

• 920 __ |a 242430 |z 1