注 册登 录

程序设计方法学

程序设计方法学
作者:胡正国,吴健,邓正宏 编著
出版:国防工业出版社 2003.1
页数:266
定价:23.00 元
ISBN-10:7118029726
ISBN-13:9787118029727 去豆瓣看看 
00暂无人评价...
目 录内容简介
      本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。
      本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。





比价列表
 商家评价 (18)折扣价格

18
当当缺货N个月
8天前更新
暂无中图缺货N个月
500天前更新

公众号、微信群

缺书网
微信公众号
扫码进群
实时获取购书优惠