营口理工学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

模型驱动的Radl-WS代数规范生成方法及自动转换系统/王昌晶, 左正康, 张琦著

出版发行项:

长春:吉林大学出版社,2020

ISBN及定价:

978-7-5692-5944-5/CNY30.00

载体形态项:

94页;21cm

个人责任者:

王昌晶 著

个人责任者:

左正康 著

个人责任者:

张琦 著

学科主题:

计算机网络-网络计算

中图法分类号:

TP393.027

责任者附注:

王昌晶，中科院软件所博士，中国计算机学会高级会员，现为江西师范大学计算机信息工程学院教授、博士生导师，CCF理论计算机科学专业委员会委员、CCF形式化方法专业委员会委员。

责任者附注:

左正康，中科院软件所博士，中国计算机学会高级会员，现为江西师范大学计算机信息工程学院教授，CCF理论计算机科学专业委员会委员、CCF形式化方法专业委员会委员。

责任者附注:

张琦，江西师范大学硕士，CCF会员，现为浙江宇视科技有限公司平台开发部软件开发工程师。研发了社会治安综合治理平台、建管运营平台等关键领域软件项目。

书目附注:

有书目 (第91-94页)

豆瓣简介：