售价: ¥1,136.00 待定配送费
亚马逊的其他卖家
加入购物车
¥1,136.00
此商品可以享受免费配送 详情
卖家: 亚马逊
前翻 后翻
正在播放... 已暂停   您正在聆听的 Audible 音频版本的样品。
了解更多信息
查看全部 3 张图片

The Science of Programming (英语) 平装 – 1989年4月1日

| 天天低价·正品质优
|
分享
广告

显示所有 格式和版本 隐藏其他格式和版本
亚马逊价格
全新品最低价 非全新品最低价
平装
"请重试"
¥1,136.00
¥1,136.00
全新品2 售价从 ¥1,136.00

click to open popover

看过此商品后顾客买的其它商品?

无需Kindle设备,下载免费Kindle阅读软件,即可在您的手机、电脑及平板电脑上畅享阅读。

  • iPhone/iPad/Mac
  • Android手机或平板电脑

请输入您的手机号码,获取Kindle阅读软件的下载链接。



基本信息

  • 出版社: Springer; 1st ed. 1981. 5th printing 1989 (1989年4月1日)
  • 丛书名: Monographs in Computer Science
  • 平装: 388页
  • 语种: 英语
  • ISBN: 0387964800
  • 条形码: 9780387964805
  • 商品尺寸: 15.2 x 2.2 x 22.9 cm
  • 商品重量: 531 g
  • ASIN: 0387964800
  • 用户评分: 分享我的评价
  • 亚马逊热销商品排名: 图书商品里排第1,194,537名 (查看图书商品销售排行榜)
  • 您想告诉我们您发现了更低的价格?

商品描述

目录

Part 0. Why Use Logic? Why Prove Programs Correct?; Part 1. 1. Propositions; 2. Reasoning Using Equivalence Transformations; 3. A Natural Deduction System; 4. Predicates; 5. Notations and Conventions for Arrays; 6. Using Assertions to Document Programs; Part2. The Semantics of a Small Language; 7. The Predicate Transformer wp; 8. The Commands Skip, Abort and Composition; 9. The Assignment Command; 10. The Alternative Command; 12. Procedure Call; 11. The Iterative Command; 12. Procedure Call; Part 3. The Development of Programs; 13. Introduction; 14. Programming as a Goal-Oriented Activity; 15. Developing Loops From Invariants and Bounds; 16. Developing Invariants; 17. Notes on Bound Functions; 18. Using Iteration Instead of Recursion; 19. Efficiency Considerations; 20. Two Larger Examples of Program Development; 21. Inverting Programs; 22. Notes on Documentation; 23. Historical Notes; Appendix 1-4; Answers to Exercises; References; Index


买家评论

目前还没有用户评论
5 星
0
4 星
0
3 星
0
2 星
0
1 星
0
与其他买家分享您的想法

此商品在美国亚马逊上最有用的商品评论

美国亚马逊: 4.7 颗星,最多 5 颗星 10 条评论
5.0 颗星,最多 5 颗星Five Stars
于 2017年4月21日 - 已在美国亚马逊上发表
已确认购买
1 个人发现此评论有用.
5.0 颗星,最多 5 颗星Five Stars
于 2015年6月30日 - 已在美国亚马逊上发表
已确认购买
5 个人发现此评论有用.
5.0 颗星,最多 5 颗星This book will change the way you think about your programs.
于 2014年10月31日 - 已在美国亚马逊上发表
7 个人发现此评论有用.
5.0 颗星,最多 5 颗星A very good book in the diffcult field
于 1999年9月9日 - 已在美国亚马逊上发表
29 个人发现此评论有用.
5.0 颗星,最多 5 颗星Excellent book on writing correct programs
于 1999年12月23日 - 已在美国亚马逊上发表