編程的修煉(中英雙語)

編程的修煉(中英雙語) pdf epub mobi txt 電子書 下載2025

作者簡介:

艾茲赫爾•戴剋斯特拉(Edsger W. Dijkstra,1930年5月11日-2002年8月6日),生於荷蘭鹿特丹,自喻為荷蘭第一個以程序設計作為職業的人。他早年積極推動結構化程序設計,一生緻力於將計算(computing)發展為一門科學,在計算機科學技術的諸多領域有開拓性建樹,並由於在程序設計基礎研究中的卓越貢獻獲得1972年圖靈奬。

出版者:電子工業齣版社
作者:[荷]Edsger W. Dijkstra
出品人:
頁數:456
译者:裘宗燕
出版時間:2013-7
價格:79.00元
裝幀:平裝
isbn號碼:9787121202506
叢書系列:
圖書標籤:
  • 編程 
  • 計算機科學 
  • 計算機 
  • 程序設計 
  • Dijkstra 
  • 經典 
  • Programming 
  • 編程思維 
  •  
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

本書是圖靈奬獲得者Edsger W. Dijkstra在編程領域裏的經典著作中的經典。作者基於其敏銳的洞察力和長期的實際編程經驗,對基本順序程序的描述和開發中的許多關鍵問題做瞭獨到的總結和開發。書中討論瞭順序程序的本質特徵、程序描述和對程序行為(正確性)的推理,並通過一係列從簡單到復雜的程序的思考和開發範例,闡釋瞭基於嚴格的邏輯推理開發正確可靠程序的過程。

本書寫於20世紀70年代中後期,但其對編程技術領域的開發、編程語言發展和程序理論研究的深刻影響持續至今。本書值得每個關注計算機科學技術的本質,冀求在程序和軟件領域有長遠發展的計算機工作者、教師和學生閱讀。

具體描述

讀後感

評分

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

評分

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

評分

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

評分

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

評分

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

用戶評價

评分

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

评分

The Humble Programmer

评分

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

评分

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

评分

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

相關圖書

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有