中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
形式规约语言中函数运算的优化

文献类型:期刊论文

作者张荣华 ; 董韫美
刊名软件学报
出版日期2000
卷号11期号:8
关键词函数式语言 优化
其他题名optimization of function evaluation in formal specification language
收录类别wanfang
公开日期2010-08-25
源URL[http://124.16.136.157/handle/311060/4756]  
专题软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式
GB/T 7714
张荣华,董韫美. 形式规约语言中函数运算的优化[J]. 软件学报,2000,11(8).
APA 张荣华,&董韫美.(2000).形式规约语言中函数运算的优化.软件学报,11(8).
MLA 张荣华,et al."形式规约语言中函数运算的优化".软件学报 11.8(2000).

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

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