The Science of Programming

书名：The Science of Programming
作者：DavidGries
译者：
ISBN：9780387964805
出版社：Springer
出版时间：1989-4-21
格式：epub/mobi/azw3/pdf
页数：388
豆瓣评分： 8.7

书籍简介：

Describes basic programming principles and their step-by- step applications.Numerous examples are included.

作者简介：

书友短评：

@ figure9 Best book on writing correct programs @ Byzaboo 这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么 @ 裱糊匠 搭配CMU class notes食用.. @ lzonline01 看不太懂 @ hbjerry 如何证明你写的程序是正确？ @ huliu 感觉不是很友好 有空了再读读看 @ 裱糊匠 搭配CMU class notes食用.. @ hbjerry 如何证明你写的程序是正确？ @ Byzaboo 这书是讲程序验证的啊，之前那篇热传算法blog为什么会觉得这本书很重要，真的用的出来么 @ rocklater read it, if I've more time.

添加微信公众号:好书天下获取