程序設(shè)計方法學(xué)

內(nèi)容概要

　　《程序設(shè)計方法學(xué)》內(nèi)容涉及結(jié)構(gòu)程序的概念、程序設(shè)計的主要控制結(jié)構(gòu)、程序正確性的證明、數(shù)據(jù)類型抽象、遞歸方法、逐步求精法、模塊設(shè)計和推導(dǎo)技術(shù)，最后介紹近幾年新發(fā)展的程序變換技術(shù)。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    程序設(shè)計方法學(xué) PDF格式下載

---