軟件工程捲2 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


軟件工程捲2

簡體網頁||繁體網頁
比約尼爾 作者
譯者
2010-1 出版日期
642 頁數
79.00元 價格
世界著名計算機教材精選 叢書系列
9787302208914 圖書編碼

軟件工程捲2 在線電子書 圖書標籤: 軟件工程   


喜歡 軟件工程捲2 在線電子書 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-11-25

軟件工程捲2 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

軟件工程捲2 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

軟件工程捲2 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



軟件工程捲2 在線電子書 用戶評價

評分

評分

評分

評分

評分

軟件工程捲2 在線電子書 著者簡介


軟件工程捲2 在線電子書 著者簡介


軟件工程捲2 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

軟件工程捲2 在線電子書 圖書描述

《軟件工程捲2:係統與語言規約》是馮諾依曼奬章獲得者、世界著名的計算機科學傢Dines Bjorner教授的最新著作。這套叢書為讀者理解軟件和軟件開發過程提供瞭一個“全新的視角”。這三捲書首次係統地論述瞭如何用形式方法來指導領域工程、需求工程和軟件設計,即軟件工程的寫個相互關聯並重疊的組成部分,或稱之為軟件工程的“三部麯”。在軟件開發的各個階段,如果都能夠采用這種形式化的開發模式,將能夠在極大程度上保證軟件開發的正確性和有效性。這套叢書可以被視為軟件工程史上裏程碑式的著作。作者通過長達30年的程序設計方法論的研究與實踐,加上長達25年不斷完善的課程講義匯編成這一套前後連貫、內容一緻以及相對完整的軟件工程著作。這套叢書的一個顯著特點就是在這三捲書中,所有的原理、技術和工具都足通過大量的案例分析來進行闡述,並覆蓋瞭所有主要的軟件開發時期、階段和步驟;同時,這些原理、技術和工具是能夠應用在大型工業和商業軟件的開發項目中去的。

這套叢書不但可以作為高校計算機專業學生、教師以及研究人員的教材和必備參考書,而且在工業和計算機産業界也具有極大的實用價值。

《軟件工程捲2:係統與語言規約》介紹瞭描述係統與語言的規約的基本原理和技術。首先,本捲講授一些高級的原理和技術:分層與組閤、指稱與計算以及構型:環境與狀態的抽象與建模,然後講授符號學建模的基本原理和技術:語用、語義以及係統和語言的句法。其中重要的一部分介紹瞭對空間和簡單時態現象進行建模的基本原理和技術。本捲的主要章節用於介紹一些專門的主題,比如模塊(包括UML的類圖)、Petri網、活動序列圖、狀態圖和時態邏輯(包括時段演算)。最後,本捲介紹瞭開發函數式,命令式以及並行程序設計語言的可靠和有效的解釋器和編譯器的基本原理和技術。本捲適閤於作為高年級本科生和研究生,以及研究程序設計方法學的學者的教材或參考書。

軟件工程捲2 在線電子書 下載 mobi epub pdf txt 在線電子書下載


想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

軟件工程捲2 在線電子書 讀後感

評分

評分

評分

評分

評分

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

軟件工程捲2 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





軟件工程捲2 在線電子書 相關圖書




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

友情鏈接

© 2024 book.wenda123.org All Rights Reserved. 圖書目錄大全 版權所有