軟件開發的形式化方法 pdf epub mobi txt 電子書 下載 2024
簡體網頁||繁體網頁
圖書標籤: 形式化方法 形式化 Formalism Formal_Methods 軟件開發 計算科學 SoftEng Owned
喜歡 軟件開發的形式化方法 的讀者還喜歡
點擊這裡下載
发表于2024-11-24
軟件開發的形式化方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
軟件開發的形式化方法 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
軟件開發的形式化方法 pdf epub mobi txt 電子書 下載 2024
圖書描述
《軟件開發的形式化方法》對軟件開發中的形式化方法進行瞭介紹和討論，內容涵蓋瞭SE2004中關於"軟件的形式化方法"的知識點，主要包括：有限狀態機、Statecharts、Petri網、通信順序進程、通信係統演算、一階邏輯、程序正確性證明、時態邏輯、模型檢驗、Z、VDM、Larch等。形式化方法是建立在嚴格數學基礎上、具有精確數學語義的開發方法。從廣義角度，形式化方法是軟件開發過程中分析、設計及實現的係統工程方法。狹義地，形式化方法是軟件規格和驗證的方法。
《軟件開發的形式化方法》可作為計算機、軟件工程等專業高年級本科聲或研究生的教學用書，也可供相關領域的研究人員和工程技術人員參考。
著者簡介
圖書目錄
軟件開發的形式化方法 pdf epub mobi txt 電子書 下載
用戶評價
上課時，參考書之一，確實有些是自己寫的，比某些翻譯的版本要容易懂，而且這個方麵的書較少，值得一讀。
評分我還是喜歡看代碼。。
評分上課時，參考書之一，確實有些是自己寫的，比某些翻譯的版本要容易懂，而且這個方麵的書較少，值得一讀。
評分上課時，參考書之一，確實有些是自己寫的，比某些翻譯的版本要容易懂，而且這個方麵的書較少，值得一讀。
評分我還是喜歡看代碼。。
讀後感
評分
評分
評分
評分
軟件開發的形式化方法 pdf epub mobi txt 電子書 下載 2024
分享鏈接
相關圖書
-
病原生物與免疫學基礎 pdf epub mobi txt 電子書 下載 -
大學美育 pdf epub mobi txt 電子書 下載
-
綜閤英語教程。1，教師用書 pdf epub mobi txt 電子書 下載
-
英語綜閤練習 pdf epub mobi txt 電子書 下載
-
財務報告與分析 pdf epub mobi txt 電子書 下載
-
C語言程序設計 pdf epub mobi txt 電子書 下載
-
即興伴奏教程 pdf epub mobi txt 電子書 下載
-
圖書館信息化建設 pdf epub mobi txt 電子書 下載
-
現代護理實習與就業指導 pdf epub mobi txt 電子書 下載
-
陽颱上的船長 pdf epub mobi txt 電子書 下載
-
西方藝術精神 pdf epub mobi txt 電子書 下載
-
數控機床操作與維護技術基礎 pdf epub mobi txt 電子書 下載
-
建築施工技術 pdf epub mobi txt 電子書 下載
-
汽車機械基礎 pdf epub mobi txt 電子書 下載
-
汽車發動機構造與維修 pdf epub mobi txt 電子書 下載
-
汽車底盤構造及維修 pdf epub mobi txt 電子書 下載
-
Flash動畫設計製作 pdf epub mobi txt 電子書 下載
-
電子商務法規 pdf epub mobi txt 電子書 下載
-
電工電子技術基礎 pdf epub mobi txt 電子書 下載
-
稅法 pdf epub mobi txt 電子書 下載
