Fork me on GitHub
2010年11月30日
37份计算机科学的经典文档
摘要： An axiomatic basis for computer programminghttp://www.spatial.maine.edu/~worboys/processes/hoare%20axiomatic.pdfC. A. R. HoareCommunicating Sequential Processes (CSP)http://www.usingcsp.com/C. A. R. HoareCall-by-name, call-by-value, and the lambda calculushttp://homepages.inf.ed.ac.uk/gdp/publicatio 阅读全文
posted @ 2010-11-30 18:12 SkySeraph 阅读(481) 评论(0) 推荐(1)