售价: ¥907.00
免运费且可货到付款详情
前翻 后翻
正在播放... 已暂停   您正在聆听的 Audible 音频版本的样品。
了解更多信息
查看全部 3 张图片

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

平均5 星
5 星
9
4 星
0
3 星
0
2 星
0
1 星
0
平均5 星 9条亚马逊美国的评论 us-flag |
| 天天低价·正品质优
|
分享
| 自营
广告

显示所有 格式和版本 隐藏其他格式和版本
亚马逊价格
全新品最低价 非全新品最低价
平装
"请重试"
¥907.00
¥907.00
全新品2 售价从 ¥907.00
退换承诺: 此商品支持30天免费退换 详情

全场自营图书满59元包邮:
为了让您购书更轻松,我们决定从2017年1月19日起,在亚马逊中国网站购买59元以上(含59元)自营图书商品,或者满99元以上(含99元)合格商品,即可享受免费配送服务。

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,377,375名 (查看图书商品销售排行榜)
  • 您想告诉我们您发现了更低的价格?

商品描述

目录

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 星
4 星
3 星
2 星
1 星

此商品在美国亚马逊上最有用的商品评论 (beta) (可能包括"Early Reviewer Rewards Program"的评论)

美国亚马逊: 平均5.0 星 9 条评论
2/2 人认为此评论有用
平均5.0 星 Anyone Claiming to Be a Programmer Should Own a Copy 2012年10月25日
评论者 Amazon Customer - 已在美国亚马逊上发表
版本: 平装 已确认购买
Being asked to give this book a star rating is almost unfair. This book is foundational to the science of programming, and should be treated as foundational. Every serious programmer should own and read this book, to understand the base of the discipline. If you haven't read this book, you probably aren't actually a programmer.
平均5.0 星 Five Stars 2017年4月21日
评论者 Amazon Customer - 已在美国亚马逊上发表
版本: 平装 已确认购买
A whole new paradigm to develop programs.
1/2 人认为此评论有用
平均5.0 星 Five Stars 2015年6月30日
评论者 David Jose Coronado - 已在美国亚马逊上发表
版本: 平装 已确认购买
Excellent
3/3 人认为此评论有用
平均5.0 星 This book will change the way you think about your programs. 2014年10月31日
评论者 rliu054 - 已在美国亚马逊上发表
版本: 平装
For a long time, I struggled with the correctness of my code.

I have to admit I'm one of those guys who just wish my code would "somehow" work.
If in a good day my code passed all tests, I would be "convinced" it's correct.
I haven't realized how stupid that was until I came across this book.

This book was written 25 years ago, however I still find the techniques quite advanced, the way it reasons about correctness quite profound.

If you decide to pick up this book (yay!), a bit of advice:
1. Don't think it as "another" programming language book you can skim quickly, you really need to grasp the ideas behind those seemingly natural theorems & proofs.
2. Prof. David Gries himself stressed a few times in the book that even attempting to prove some of the theorems would change the way you think. So make sure you solve the problems in the exercises, you'll be surprised the concept is not as simple as it seems.
3. Find a quiet spot :) You probably don't want to read this while on a bus or subway.

Enjoy the journey!
7/7 人认为此评论有用
平均5.0 星 A very good book in the diffcult field 1999年9月9日
评论者 匿名用户 - 已在美国亚马逊上发表
The book deals with the way of development of programs using mathematical principles. This line of observation ( mentioned in the preface) " One can not learn to write large programs effectively until one has learned to write small ones effectively" captures the motivation of the book. There are three parts; part I introduces predicate logic; it includes natural deduction system; Part II builds the mathematical treatment of the programming constructs like assignment, alternative, iterative command and procedure call. Part III shows how programs are developed and proved correct using the mathematical principles discussed earlier. Given the nature of the area, the book is written with a lot of attention to instructional impact. The best recommendation for the book is by Dijkstra: The topic deserves no less author... To get the message across requires a scientist that combines his scientific involvement in the subject with the precious gifts of a devoted teacher".