Z形式規約的自動求精研究 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


Z形式規約的自動求精研究

簡體網頁||繁體網頁
王宏生 作者
譯者
2009-1 出版日期
231 頁數
26.00元 價格
叢書系列
9787118060447 圖書編碼

Z形式規約的自動求精研究 在線電子書 圖書標籤:  


喜歡 Z形式規約的自動求精研究 在線電子書 的讀者還喜歡




點擊這裡下載
    


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

發表於2024-11-23

Z形式規約的自動求精研究 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

Z形式規約的自動求精研究 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

Z形式規約的自動求精研究 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



Z形式規約的自動求精研究 在線電子書 用戶評價

評分

評分

評分

評分

評分

Z形式規約的自動求精研究 在線電子書 著者簡介


Z形式規約的自動求精研究 在線電子書 著者簡介


Z形式規約的自動求精研究 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

Z形式規約的自動求精研究 在線電子書 圖書描述

《Z形式規約的自動求精研究》敘述簡明清晰,邏輯性強,可作為高等學校相關專業研究生和從事形式語言研究、大型軟件形式化開發與應用的專業人員參考。 Z形式規約是一種世界上廣泛使用的軟件規格說明語言,在軟件開發的需求規格說明階段和軟件設計階段都可以使用,對於提高大型軟件質量、驗證軟件設計正確性等方麵具有非常重要的意義。

由於Z是以集閤論和一階邏輯為基礎,是設計用來給人看的而不能由機器執行。將Z轉換成高級語言需要專業的數學知識,而且對於大型軟件,轉換過程極易齣錯。Z的機器可執行性已經引起世界範圍的關注,但目前還不能直接從Z語言自動生成應用程序,Z到可執行代碼的轉換主要由人工完成。《Z形式規約的自動求精研究》指齣瞭Z語言求精方法對於自動生成應用程序的不足,提齣瞭對Z規格說明做一定限製後的Smart Z自動求精為C++和STL方法。

Z形式規約的自動求精研究 在線電子書 下載 mobi epub pdf txt 在線電子書下載


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

Z形式規約的自動求精研究 在線電子書 讀後感

評分

評分

評分

評分

評分

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

Z形式規約的自動求精研究 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





Z形式規約的自動求精研究 在線電子書 相關圖書




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

友情鏈接

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