編程的修煉（中英雙語） pdf epub mobi 著者簡介

編程的修煉（中英雙語） pdf epub mobi 圖書描述

編程的修煉（中英雙語） pdf epub mobi 圖書目錄

想要找書就要到 本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-12-22

編程的修煉（中英雙語） 2024 pdf epub mobi 電子書 下載

編程的修煉（中英雙語） 2024 pdf epub mobi 電子書 下載

編程的修煉（中英雙語） 2024 pdf epub mobi 電子書 下載

喜欢 編程的修煉（中英雙語） 電子書 的读者还喜欢

• 
  元素模式 2024 pdf epub mobi 電子書 下載
• 
  代碼質量 2024 pdf epub mobi 電子書 下載
• 
  麵嚮對象分析與設計 2024 pdf epub mobi 電子書 下載
• 
  More Exceptional C++（中文版） 2024 pdf epub mobi 電子書 下載
• 
  編碼整潔之道 2024 pdf epub mobi 電子書 下載
• 
  Java語言精粹 2024 pdf epub mobi 電子書 下載
• 
  ElasticSearch 2024 pdf epub mobi 電子書 下載
• 
  代碼閱讀 2024 pdf epub mobi 電子書 下載
• 
  編程原本 2024 pdf epub mobi 電子書 下載
• 
  高質量程序設計指南 2024 pdf epub mobi 電子書 下載

怎樣證明一個程序是正確的？這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中，“正確”是所有其他工作的前提，開發者首先做的是證明程序是可以正確的，然後纔來考慮性能、擴展性等等其他的問題，所以程序的正確性是所有有理智的...

怎樣證明一個程序是正確的？這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中，“正確”是所有其他工作的前提，開發者首先做的是證明程序是可以正確的，然後纔來考慮性能、擴展性等等其他的問題，所以程序的正確性是所有有理智的...

這本書挺難翻譯的。讀原文讀的巨吃力。主要是那種繞來繞去又特彆profound的說話風格。確實不好翻譯。而且我覺著英語的錶達力比漢語要強。尤其是錶達特彆復雜的概念的時候。各種定語從句套定語從句的時候。。。 再加上裘老翻譯的時候選詞比較“信”，有的地方反而不夠“達”。翻...  

怎樣證明一個程序是正確的？這是一個普遍被忽略的問題。 這並不是說軟件開發者們從不考慮這個問題。在一個程序的開發過程中，“正確”是所有其他工作的前提，開發者首先做的是證明程序是可以正確的，然後纔來考慮性能、擴展性等等其他的問題，所以程序的正確性是所有有理智的...

上世紀80年代這本書的影印版在國內高校計算機界廣為流傳，爾後卻消失匿跡，重讀到此書，已是十幾年之後的事瞭。 由裘宗燕老師來翻譯這本書，我想應該是很好的。裘老師廣博多聞，在計算機方麵譯著極多，而且大多是重量級的，讀起來錯誤不多，質量很高。 ...  

The Humble Programmer

Dijkstra 提供瞭一種基於謂詞轉換器的方法論來解決實際問題. 幾個關鍵詞: 狀態空間, 選擇的不變定理, 循環的可終止性. 幾個優化策略: 減少分支, 將重復計算的值緩存, 將不變關係提取到循環結構外, 尋找不變式的更小超集.

Dijkstra 提供瞭一種基於謂詞轉換器的方法論來解決實際問題. 幾個關鍵詞: 狀態空間, 選擇的不變定理, 循環的可終止性. 幾個優化策略: 減少分支, 將重復計算的值緩存, 將不變關係提取到循環結構外, 尋找不變式的更小超集.

有點老瞭。講得很形式化和抽象。

有點老瞭。講得很形式化和抽象。