時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


時序邏輯程序設計與軟件工程(下)

簡體網頁||繁體網頁
唐稚鬆 作者
科學齣版社
譯者
2002-11 出版日期
264 頁數
30.00元 價格
叢書系列
9787030099280 圖書編碼

時序邏輯程序設計與軟件工程(下) 在線電子書 圖書標籤: 時序邏輯程序設計   


喜歡 時序邏輯程序設計與軟件工程(下) 在線電子書 的讀者還喜歡




點擊這裡下載
    


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

發表於2024-11-27

時序邏輯程序設計與軟件工程(下) 在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

時序邏輯程序設計與軟件工程(下) 在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024



時序邏輯程序設計與軟件工程(下) 在線電子書 用戶評價

評分

評分

評分

評分

評分

時序邏輯程序設計與軟件工程(下) 在線電子書 著者簡介


時序邏輯程序設計與軟件工程(下) 在線電子書 著者簡介


時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

時序邏輯程序設計與軟件工程(下) 在線電子書 圖書描述

《時序邏輯程序設計與軟件工程(下)》旨在介紹一種麵嚮軟件工程的時序邏輯語言(XYZ/E)及以該語言為基礎的支撐軟件開發全過程的軟件工程係統(XYZ係統),目標是希望能為一般工業界用戶服務,以提高軟件開發的自動化水平及所開發軟件的可靠性與可維護性。

《時序邏輯程序設計與軟件工程(下)》共分上、下兩冊。上冊介紹時序邏輯語言XYZ/E,內容包括XYZ係統研製的技術和哲學背景,XYZ/E的邏輯基礎,XYZ/E的基本特徵和基本成分,XYZ/E的控製結構,XYZE中所錶示的各種機製,XYZ/E的實現,基於XYZ/E的實時程序設計與混成係統錶示,以及在XYZ/E框架內的程序規範與Hoare邏輯驗證等。下冊介紹軟件工程方法與工具,內容包括麵嚮模塊程序設計的可視化圖形工具,基於形式規範的逐步求精過程、速成原型與模型檢驗方法,可視化體係結構描述語言與工具及其在軟件開發過程中的應用,最後還介紹瞭語言轉換工具及其在軟件再造工程和某些專用領域的應用,實時及混成係統的驗證等。

時序邏輯程序設計與軟件工程(下) 在線電子書 下載 mobi epub pdf txt 在線電子書下載


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

時序邏輯程序設計與軟件工程(下) 在線電子書 讀後感

評分

評分

評分

評分

評分

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

時序邏輯程序設計與軟件工程(下) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024


分享鏈接





時序邏輯程序設計與軟件工程(下) 在線電子書 相關圖書




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

友情鏈接

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