胡正国, 吴健, 邓正宏, 编著
出版社：国防工业出版社
年代：2008
定价：32.0
本书主要介绍了程序设计方法学这一学科的主要内容，即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序开线推导、程序变换技术等。
程序设计方法学是国防工业出版社于2008.12出版的中图分类号为 TP311.11 的主题关于 程序设计－方法 的书籍。
(美) 麦基弗 (McIver,A.) , (美) 摩根 (Morgan,C.) , 著
刘建宾, 著
(美) 傅雷森 (Felleisen,M.) 等, 著
张希伟, 编著
陈海波, 王申康, 编著
王衍, 等编著
王桂平, 等编著
(德) 贝蒂尔·施密特 (Bertil Schmidt) , (西) 豪尔赫·冈萨雷斯-多明格斯, (德) 克里斯蒂安·洪特 (Christian...
(美) 威尔金森 (Wilkinson,B.) , (美) 阿兰 (Allen,M.) , 著