Institutional Repository
| Prespecification in data refinement | |
| C.A.R.Hoare; Jifeng He; J.W.Sanders | |
| 1987 | |
| Source | Information Processing Letters
 |
| Volume | 25Issue:2Pages:71 - 76 |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1264 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | C.A.R.Hoare,Jifeng He,J.W.Sanders. Prespecification in data refinement[J]. Information Processing Letters,1987,25(2):71 - 76. |
| APA | C.A.R.Hoare,Jifeng He,&J.W.Sanders.(1987).Prespecification in data refinement.Information Processing Letters,25(2),71 - 76. |
| MLA | C.A.R.Hoare,et al."Prespecification in data refinement".Information Processing Letters 25.2(1987):71 - 76. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| bj01115841.pdf（322KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment