本本书屋

 本本书屋 logo

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

Z形式規約的自動求精研究
☆☆☆☆☆
簡體網頁||繁體網頁

Z形式規約的自動求精研究 pdf epub mobi 著者簡介

Z形式規約的自動求精研究 pdf epub mobi 圖書描述

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

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

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

Z形式規約的自動求精研究 pdf epub mobi 圖書目錄

下載链接在页面底部


點擊這裡下載
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-09-06

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

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

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


喜欢 Z形式規約的自動求精研究 電子書 的读者还喜欢


Z形式規約的自動求精研究 pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:
作者:王宏生
出品人:
頁數:231
譯者:
出版時間:2009-1
價格:26.00元
裝幀:
isbn號碼:9787118060447
叢書系列:

圖書標籤:  

Z形式規約的自動求精研究 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Z形式規約的自動求精研究 pdf epub mobi 用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

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

分享鏈接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 複製鏈接


相關圖書



服務條款
聯繫我們
關於我們
隱私政策

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

友情鏈接

中國國家圖書館
國立台灣圖書館
美國國會圖書館
開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有