小哈圖書下載中心

 小哈图书下载中心 logo

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

時序邏輯程序設計與軟件工程（下）
☆☆☆☆☆
簡體網頁||繁體網頁
唐稚鬆
科學齣版社
2002-11
264
30.00元
9787030099280

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

喜歡 時序邏輯程序設計與軟件工程（下） 的讀者還喜歡


下載链接在页面底部


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

发表于2024-11-23

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

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

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


圖書描述

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

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

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

著者簡介

圖書目錄

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

用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

讀後感

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

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

時序邏輯程序設計與軟件工程（下） 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. 小哈圖書下載中心 版权所有