小哈圖書下載中心

 小哈图书下载中心 logo

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

Z形式規約的自動求精研究
☆☆☆☆☆
簡體網頁||繁體網頁
王宏生
2009-1
231
26.00元
9787118060447

圖書標籤:  

喜歡 Z形式規約的自動求精研究 的讀者還喜歡


下載链接在页面底部


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

发表于2024-12-27

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

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

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


圖書描述

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

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

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

著者簡介

圖書目錄

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

用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

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

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

分享鏈接

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


相關圖書



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

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

友情鏈接

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

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