圖書標籤: Programming  Dijkstra  計算機科學  編程  計算機  經典  programming  Djikstra   

喜歡 A Discipline of Programming 的讀者還喜歡

• 
  Pearls of Functional Algorithm Design pdf epub mobi txt 電子書 下載
• 
  The Algorithm Design Manual pdf epub mobi txt 電子書 下載
• 
  Essentials of Programming Languages, 3rd Edition pdf epub mobi txt 電子書 下載
• 
  The Little Schemer - 4th Edition pdf epub mobi txt 電子書 下載
• 
  Lambda-Calculus and Combinators pdf epub mobi txt 電子書 下載
• 
  深入理解並行編程 pdf epub mobi txt 電子書 下載
• 
  Database System Concepts pdf epub mobi txt 電子書 下載
• 
  Algorithms pdf epub mobi txt 電子書 下載
• 
  Programming in Haskell pdf epub mobi txt 電子書 下載
• 
  Structure and Interpretation of Computer Programs - 2nd Edition (MIT) pdf epub mobi txt 電子書 下載

Do you want correct programs?

不太好理解

不太好理解

Do you want correct programs?

不太好理解

怎样证明一个程序是正确的？这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能、扩展性等等其他的问题，所以程序的正确性是所有有理智的...

怎样证明一个程序是正确的？这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能、扩展性等等其他的问题，所以程序的正确性是所有有理智的...

上世纪80年代这本书的影印版在国内高校计算机界广为流传，尔后却消失匿迹，重读到此书，已是十几年之后的事了。 由裘宗燕老师来翻译这本书，我想应该是很好的。裘老师广博多闻，在计算机方面译著极多，而且大多是重量级的，读起来错误不多，质量很高。 ...  

怎样证明一个程序是正确的？这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能、扩展性等等其他的问题，所以程序的正确性是所有有理智的...

上世纪80年代这本书的影印版在国内高校计算机界广为流传，尔后却消失匿迹，重读到此书，已是十几年之后的事了。 由裘宗燕老师来翻译这本书，我想应该是很好的。裘老师广博多闻，在计算机方面译著极多，而且大多是重量级的，读起来错误不多，质量很高。 ...