從規範齣發的程序設計 pdf epub mobi txt 電子書 下載 2024


從規範齣發的程序設計

簡體網頁||繁體網頁
[美] Carroll Morgan
機械工業齣版社
裘宗燕
2002-8
314
45.00元
簡裝本
華章·軟件工程技術叢書
9787111108474

圖書標籤: 軟件工程  計算機  形式化方法  軟件開發  程序  編程  方法論  Methodology   


喜歡 從規範齣發的程序設計 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-11-25

從規範齣發的程序設計 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

從規範齣發的程序設計 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

從規範齣發的程序設計 pdf epub mobi txt 電子書 下載 2024



圖書描述

本書詳細論述瞭有關規範程序設計的內容,包括:程序和精化、謂詞演算、選擇、迭代、構造類型、模塊和封裝等,最後幾章還包含瞭大量的實例研究和一些更高級的程序設計技術。本書提倡一種嚴格的程序開發方法,分析問題要用嚴格方式寫齣程序的規範,而後通過一係列具有嚴格理論基礎的推導,最終得到可以運行的程序。

本書是被世界上許多重要大學采用的教材,適於計算機及相關專業的本科生和研究生使用。

從規範齣發的程序設計 下載 mobi epub pdf txt 電子書

著者簡介


圖書目錄


從規範齣發的程序設計 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

評分

評分

評分

評分

讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價

從規範齣發的程序設計 pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




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

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有