定价:¥88.00
旧书价:¥27.90
节约:¥60.10
库存:
官网有售
9787509589120 / 吴健 阮志勇 / 中国财政经济出版社 / 2019年03月 / 536页 / 约重0.660KG
定价:¥26.00
旧书价:¥4.50
节约:¥21.50
库存:
店铺有售
9787118060515 / 胡正国 吴健 邓正宏 / 国防工业出版社 / 2009年01月 / 266页 / 约重0.404KG
简介:本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学……