软件学报
来源：本站原创 更新：2016/8/28 字体：
大 小
.jpg)
面向对象软件规格语言的设计
全炳哲，金淳兆一种琥珀体汉字字形的自动生成方法
陆波，蔡士杰，顾进XYZ／SE程序的验证
张文辉基于STREAMS的X．25分组交换网访问软件的设计与实现
杨家海，李军，吴建平，史美林HOS规格说明的功能理解及其应用
吕建，费宗铭模态K_4、D_4系统的归结推理
孙吉贵，李乔，刘叙华 论文QQ81995535 Z规格说明中初始状态存在性的证明
缪淮扣
导航:
北大核心 统计源核心 CSCD CSCD扩展 国家级期刊 省级期刊 杂志见刊
版权所有:医学全在线(m.med126.com)
