2012年5月16日
老师推荐看的两本书
摘要： 结构化程序札记 达尔 霍尔 distra程序设计科学 glis 阅读全文
posted @ 2012-05-16 22:29 xaycq 阅读(117) 评论(0) 推荐(0)
软件设计方法
摘要： 由顶向下逐步细化层层精炼（正确性证明）编码结果 阅读全文
posted @ 2012-05-16 22:27 xaycq 阅读(124) 评论(0) 推荐(0)