ISCAS OpenIR  > 基础软件与系统重点实验室
形式规约语言中函数运算的优化
其他题名optimization of function evaluation in formal specification language
张荣华; 董韫美
2000
发表期刊软件学报
卷号11期号:8
收录类别wanfang
关键词函数式语言 优化
部门归属计算机科学国家重点实验室
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4756
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
张荣华,董韫美. 形式规约语言中函数运算的优化[J]. 软件学报,2000,11(8).
APA 张荣华,&董韫美.(2000).形式规约语言中函数运算的优化.软件学报,11(8).
MLA 张荣华,et al."形式规约语言中函数运算的优化".软件学报 11.8(2000).
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
4.pdf(150KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[张荣华]的文章
[董韫美]的文章
百度学术
百度学术中相似的文章
[张荣华]的文章
[董韫美]的文章
必应学术
必应学术中相似的文章
[张荣华]的文章
[董韫美]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。