您好,欢迎光临有路网!
首页 > 搜索 "胡正国 吴健 邓正宏"(共有图书数量3种)
  • 程序设计方法学(第2版)

    程序设计方法学(第2版)

    定价:¥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

    简介:本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学……

上一页 1 下一页