Institutional Repository
| A theoretical basis for stepwise refinement and the programming calculus | |
| Joseph M. Morris | |
| 1987 | |
| Source | Science of Computer Programming
 |
| Volume | 9Issue:3Pages:287 - 306 |
| Indexed Type | 其他 |
| Cooperation Status | 其它 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/1246 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Joseph M. Morris. A theoretical basis for stepwise refinement and the programming calculus[J]. Science of Computer Programming,1987,9(3):287 - 306. |
| APA | Joseph M. Morris.(1987).A theoretical basis for stepwise refinement and the programming calculus.Science of Computer Programming,9(3),287 - 306. |
| MLA | Joseph M. Morris."A theoretical basis for stepwise refinement and the programming calculus".Science of Computer Programming 9.3(1987):287 - 306. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| bj01104581.pdf（2126KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment