程序构造的数学 Mathematics of program construction Eerke A. Boiten 1 edition (2002年8月1日) 出版时间：2002-12出版社：1 edition (2002年8月1日)作者：Eerke A. Boiten页数：262 图书封面 下载链接 程序构造的数学 Mathematics of program constructionPDF格式下载
