模型檢測量子系統-原理與算法 9787111727941 (中)應明生(Mingsheng Ying)(中)馮元(Y

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202306*若逾兩年請先於客服中心或Line洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：模型檢測量子系統-原理與算法
ISBN：9787111727941
出版社：機械工業出版社
著編譯者：(中)應明生(Mingsheng Ying)(中)馮元(Y
叢書名：計算機科學叢書
頁數：xxx
所在地：中國大陸 *此為代購商品
書號：1534312
可大量預訂，請先連絡。

【台灣高等教育出版社簡體書】 模型檢測量子系統-原理與算法 787111727941 (中)應明生(Mingsheng Ying)(中)馮元(Y
本書系統且全面地梳理了模型檢測量子系統的原理以及基於這些原理的演算法，涵蓋作者相關論文中的重要研究成果。本書講解如何應用模型檢測技術來驗證量子工程系統的正確性、安全性和可靠性，包含步驟詳盡的演算法以及豐富的示例和練習。書中首先介紹模型檢測和量子理論的基礎知識，然後討論量子自動機、量子馬爾可夫鏈和量子馬爾可夫決策過程的可達性問題，介紹求解這些問題所需的數學工具和演算法，之後介紹一系列用於檢測超運算元值馬爾可夫鏈的計算樹邏輯或線性時序邏輯的演算法，最後指明該領域的發展方向。

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。

大陸簡體正版圖書，訂購後正常情形下約兩周可抵台。