中圖網(wǎng)小程序
一鍵登錄
更方便
>
關(guān)于“克里斯特爾·拜耳”檢索到 共1種現(xiàn)貨商品
-
包郵模型檢驗原理(清華計算機圖書譯叢)
¥91.6(5.8折)定價:¥158.0本書全面系統(tǒng)地介紹了模型檢驗的一般原理、應(yīng)用工具及軟硬件系統(tǒng)的建模與驗證方法，同時介紹了克服模型檢驗中“狀態(tài)空間爆炸”問題的有效途徑，可作為計算機科學(xué)與技術(shù)、軟件工程等專業(yè)本科生、研究生的教材，也可作為模型檢驗領(lǐng)域研究人員及注重系統(tǒng)可靠性的設(shè)計與開發(fā)人員的參考書...
