程序设计方法学(第2版)
猜你也喜欢
-
1
¥5.30
-
2
¥4.50
-
3
¥7.80
-
4
Oracle DBA培训教程——从实践中学习Oracle数据库管理与维护(第2版)
¥11.60
手机购买
新书比价
网站名称
书名
售价
优惠
操作
图书详情
-
出版社
-
ISBN9787118060515
-
作者
-
页数266
-
出版时间2009年01月01日
-
定价¥26.00
-
所属分类
内容提要
本书主要介绍程序设计方法学这一新兴学科的主要内容,即结构化程序、程序正确性证明、结构化程序的正确性证明、递归程序及其正确性证明、程序的形式推导技术、程序变换技术、面向对象的设计方法和大型程序设计方法学基础等。 本书可供大专院校计算机专业学生使用,也可供硕士研究生及从事计算机工作的科研人员参考。
与描述相符
100
热卖图书
-
¥10.00 ¥60.00
-
¥4.60 ¥25.00
-
¥11.30 ¥28.00
-
¥9.00 ¥29.80
-
¥15.20 ¥38.00
新书推荐
-
概率论与数理统计辅导及习题精解(浙大.第四版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥16.30 ¥29.80
-
工程数学线性代数(第六版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥17.00 ¥22.20
-
¥46.80 ¥46.80
-
线性代数辅导及习题精解(同济第六版)（内容一致，印次、封面或原价不同，统一售价，随机发货）
¥16.30 ¥29.80
-
¥115.00 ¥115.00
北京
天津
河北
山西
内蒙古
辽宁
吉林
黑龙江
上海
江苏
浙江
安徽
福建
江西
山东
河南
湖北
湖南
广东
广西
海南
重庆
四川
贵州
云南
西藏
陕西
甘肃
青海
宁夏
新疆
台湾
香港
澳门
海外
名称：南昌有路文化发展有限公司
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
地址：南昌昌北经济技术开发区玉屏西大街299号清华科技园B205室
咨询电话：4006765433 传真：0791-83849520-810 邮箱：do(a)youlu.net
© 有路网 增值电信业务经营许可证号：赣B2-20150091 赣ICP备06008180号-2 赣工商网备第200911040306561424号
