編程的修煉(中英雙語)



編程的修煉(中英雙語)


      書中討論了順序程序的本質特徵、程序描述和對程序行爲(正確性)的推理,並經過一系列 從簡單到複雜的程序的思考和開發範例,闡釋了基於嚴格的邏輯推理開發正確可靠程序的過程。


對其內容詳細閱讀

html

相關文章
相關標籤/搜索