本本书屋

 本本书屋 logo

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載

時序邏輯程序設計與軟件工程（下）
☆☆☆☆☆
簡體網頁||繁體網頁

時序邏輯程序設計與軟件工程（下） pdf epub mobi 著者簡介

時序邏輯程序設計與軟件工程（下） pdf epub mobi 圖書描述

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

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

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載

時序邏輯程序設計與軟件工程（下） pdf epub mobi 圖書目錄

下載链接在页面底部


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

發表於2024-11-27

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載


喜欢 時序邏輯程序設計與軟件工程（下） 電子書 的读者还喜欢


時序邏輯程序設計與軟件工程（下） pdf epub mobi 讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價
出版者:科學齣版社
作者:唐稚鬆
出品人:
頁數:264
譯者:
出版時間:2002-11
價格:30.00元
裝幀:
isbn號碼:9787030099280
叢書系列:

圖書標籤: 時序邏輯程序設計   

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

時序邏輯程序設計與軟件工程（下） pdf epub mobi 用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

時序邏輯程序設計與軟件工程（下） 2024 pdf epub mobi 電子書 下載

分享鏈接

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


相關圖書



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

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

友情鏈接

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

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