中文版 | English
ISCAS OpenIR
The weakest prespecification
C.A.R.Hoare; Jifeng He
1987
发表期刊Information Processing Letters
卷号24期号:2页码:127 - 132
收录类别其他
合作性质其它
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/1265
专题中国科学院软件研究所
推荐引用方式
GB/T 7714		 C.A.R.Hoare,Jifeng He. The weakest prespecification[J]. Information Processing Letters,1987,24(2):127 - 132.
APA C.A.R.Hoare,&Jifeng He.(1987).The weakest prespecification.Information Processing Letters,24(2),127 - 132.
MLA C.A.R.Hoare,et al."The weakest prespecification".Information Processing Letters 24.2(1987):127 - 132.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
bj01116057.pdf（425KB） 开放获取使用许可请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[C.A.R.Hoare]的文章
[Jifeng He]的文章
百度学术
百度学术中相似的文章
[C.A.R.Hoare]的文章
[Jifeng He]的文章
必应学术
必应学术中相似的文章
[C.A.R.Hoare]的文章
[Jifeng He]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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