The Science of Programming
出版社： Springer
出版年： 1989-4-21
页数： 388
定价： USD 99.00
装帧： Paperback
ISBN： 9780387964805
内容简介
Describes basic programming principles and their step-by- step applications.Numerous examples are included.
该书热门标签
- 最新
- 热门
-
0
rocklater
2014-01-17
read it, if I've more time.
-
0
lzonline01
2012-08-24
看不太懂
-
0
hbjerry
2015-01-16
如何证明你写的程序是正确？
-
0
Larenopfer
2014-05-12
这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么
-
0
figure9
2013-09-12
Best book on writing correct programs
-
0
rocklater
2014-01-17
read it, if I've more time.
-
0
lzonline01
2012-08-24
看不太懂
-
0
hbjerry
2015-01-16
如何证明你写的程序是正确？
-
0
Larenopfer
2014-05-12
这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么
-
0
figure9
2013-09-12
Best book on writing correct programs
- 最新
- 热门
-
书的内容应该是非常有用的
2有用 Firo 2016-02-01
读起来非常枯燥,boring.这一定是作者的问题.不能很好的引导读者(至少是我)去理解整个过程.前12章170多页,分两部分:1.logic学简介;2,程序语言的形式化.总之非常无聊.废话太多了.完全... 查看全部>>
-
不依赖直觉，科学地编程
17有用 bearlie2010 2014-05-30
虽然这本书的名声并不响亮，但是在我看来他对我的帮助如算法导论一样大，刷新了我的“编程观”。在看算法导论之前，我以为编程就是API调来调去，一堆Lib堆起来一个程序。而在看这本书之前，我正如本书作者所描... 查看全部>>
-
不依赖直觉，科学地编程
17有用 bearlie2010 2014-05-30
虽然这本书的名声并不响亮，但是在我看来他对我的帮助如算法导论一样大，刷新了我的“编程观”。在看算法导论之前，我以为编程就是API调来调去，一堆Lib堆起来一个程序。而在看这本书之前，我正如本书作者所描... 查看全部>>
-
书的内容应该是非常有用的
2有用 Firo 2016-02-01
读起来非常枯燥,boring.这一定是作者的问题.不能很好的引导读者(至少是我)去理解整个过程.前12章170多页,分两部分:1.logic学简介;2,程序语言的形式化.总之非常无聊.废话太多了.完全... 查看全部>>
评价“The Science of Programming”