Laws of programming
Hoare, C. A. R.; Hayes, I. J.; Jifeng, He; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
- 期刊名称Communications of the ACM
- 作者Hoare, C. A. R.; Hayes, I. J.; Jifeng, He; Morgan, C. C.; Roscoe, A. W.; Sanders, J. W.; Sorensen, I. H.; Spivey, J. M.; Sufrin, B. A.
- 卷第30卷
- 期第8期
- 印刷ISSN0001-0782
- 文件大小8529.35KB
- 发表时间1987-8-1
- DOI10.1145/27651.27653
- 页码672-686