The 1980 ACM Turing Award Lecture

https://www.cs.fsu.edu/~engelen/courses/COP4610/hoare.pdf
posted @ 2022-09-29 09:31  papering  阅读(10)  评论(0)  编辑  收藏  举报