MARC状态:审校 文献类型:中文图书 浏览次数:97
- 题名/责任者:
- 模型驱动的Radl-WS代数规范生成方法及自动转换系统/王昌晶, 左正康, 张琦著
- 出版发行项:
- 长春:吉林大学出版社,2020
- ISBN及定价:
- 978-7-5692-5944-5/CNY30.00
- 载体形态项:
- 94页;21cm
- 个人责任者:
- 王昌晶 著
- 个人责任者:
- 左正康 著
- 个人责任者:
- 张琦 著
- 学科主题:
- 计算机网络-网络计算
- 中图法分类号:
- TP393.027
- 责任者附注:
- 王昌晶,中科院软件所博士,中国计算机学会高级会员,现为江西师范大学计算机信息工程学院教授、博士生导师,CCF理论计算机科学专业委员会委员、CCF形式化方法专业委员会委员。
- 责任者附注:
- 左正康,中科院软件所博士,中国计算机学会高级会员,现为江西师范大学计算机信息工程学院教授,CCF理论计算机科学专业委员会委员、CCF形式化方法专业委员会委员。
- 责任者附注:
- 张琦,江西师范大学硕士,CCF会员,现为浙江宇视科技有限公司平台开发部软件开发工程师。研发了社会治安综合治理平台、建管运营平台等关键领域软件项目。
- 书目附注:
- 有书目 (第91-94页)
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP393.027/34 | 010803007 | ![]() |
可借 | 自助借还书库 | |
TP393.027/34 | 010803008 | ![]() |
可借 | 文锦书苑 | |
TP393.027/34 | 010803009 | ![]() |
可借 | 文锦书苑 |
显示全部馆藏信息