《FORMAL DEVELPMENT OF PROGRAMS AND PROOFS》PDF下载

• 购买积分：10 如何计算积分？
• 作　　者：EDSGER W.DUKSTRA
• 出 版 社：ADDISON-WESLEY PUBLISHING COMPANY
• 出版年份：2222
• ISBN：0201172372
• 页数：242 页