售价: ￥1,136.00 待定配送费

此商品不能使用“一键下单”

亚马逊的其他卖家

加入购物车

￥1,151.60
此商品可以享受免费配送 详情

卖家：亚马逊

账户充值

前翻后翻

听正在播放... 已暂停您正在聆听的 Audible 音频版本的样品。
了解更多信息

查看全部 3 张图片

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

David Gries (作者)

分享我的评价

| 天天低价·正品质优

显示所有格式和版本隐藏其他格式和版本

亚马逊价格

全新品最低价

非全新品最低价

平装

"请重试"

￥1,136.00

—

平装
￥1,136.00 2 全新自￥1,136.00

浏览此商品的顾客也同时浏览

第 1 页, 共 1 页第一页第 1 页, 共 1 页

这项购物功能将继续加载商品。要导航到此轮盘之外，请使用您的标题快捷键，导航到之前或之后的标题。

戴维 R.汉森 ( …

41

平装
￥66.20
乔恩·本特利 (J …

50

平装
￥33.50
莱维汀 (Anan …

17

平装
￥58.30
Steven S …

3

精装
￥746.33
Terence Parr

18

平装
￥54.72
Dan Gusfield
精装
1 个优惠，价格￥992.00 起

购买此商品的顾客也同时购买

第 1 页, 共 1 页第一页第 1 页, 共 1 页

这项购物功能将继续加载商品。要导航到此轮盘之外，请使用您的标题快捷键，导航到之前或之后的标题。

E. Dijkstra

1

平装
￥1,072.00
Alexander …
平装
￥378.00
David Gries
精装
￥990.00
Daniel P. …
平装
￥395.45
Donald E. …
平装
￥377.00
Adnan Aziz

1

平装
￥411.00

基本信息

出版社: Springer; 1st ed. 1981. 5th printing 1989 (1989年4月1日)
丛书名: Monographs in Computer Science
平装: 388页
语种： 英语
ISBN: 9780387964805
条形码: 9780387964805
商品尺寸: 15.2 x 2.2 x 22.9 cm
商品重量: 531 g
ASIN: 0387964800
用户评分: 分享我的评价
亚马逊热销商品排名: 图书商品里排第940,348名 (查看图书商品销售排行榜)
- 第19位 - 图书 > 进口原版书 > Computers & Technology（计算机与科技） > Programming（编程） > Languages & Tools > Compilers
- 第252位 - 图书 > 进口原版书 > Computers & Technology（计算机与科技） > Programming（编程） > Software Design, Testing & Engineering > Software Development
- 第16552位 - 图书 > 进口原版书 > Reference（参考书）

您想告诉我们您发现了更低的价格?

商品描述

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

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

平装

戴维 R.汉森 (David R.Hanson)

41

￥66.20
平装

乔恩·本特利 (Jon Bentley)

50

￥33.50

无顾客评论

评论该商品

我要写评论

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

美国亚马逊： 9 条评论

Amazon Customer

Five Stars

2017年4月21日 - 已在美国亚马逊上发表

已确认购买

A whole new paradigm to develop programs.

1 个人发现此评论有用.

Amazon Customer

Anyone Claiming to Be a Programmer Should Own a Copy

2012年10月25日 - 已在美国亚马逊上发表

已确认购买

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.

3 个人发现此评论有用.

David Jose Coronado

Five Stars

2015年6月30日 - 已在美国亚马逊上发表

已确认购买

Excellent

1 个人发现此评论有用.

rliu054

This book will change the way you think about your programs.

2014年10月31日 - 已在美国亚马逊上发表

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 个人发现此评论有用.

买家

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".

7 个人发现此评论有用.