编程的修炼(中英双语)•短评
-
2 大句哥哥卧佛躺 2015-11-06
Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.
书名: 编程的修炼(中英双语)
作者: [荷] Edsger W·Dijkstra
出版社: 电子工业出版社
原作名: A Discipline of Programming
译者: 裘宗燕
出版年: 2013-7
页数: 456
定价: 79.00元
装帧: 平装
ISBN: 9787121202506