定价:¥26.00
旧书价:¥4.50
节约:¥21.50
库存:
店铺有售
9787118060515 / 胡正国 吴健 邓正宏 / 国防工业出版社 / 2009年01月 / 266页 / 约重0.404KG
简介:本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学……
定价:¥23.00
旧书价:¥6.90
节约:¥16.10
库存:
店铺有售
9787118029727 / 邓正宏 吴健 胡正国 / 国防工业出版社 / 2007年04月 / 266页 / 约重0.415KG
简介:本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学……
定价:¥23.00
旧书价:¥6.90
节约:¥16.10
库存:
店铺有售
9787118029727 / 胡正国 吴健 邓正宏 / 国防工业出版社 / 2003年01月 / 266页 / 约重0.420KG
简介:本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学……