圖書標籤: 模型檢驗 計算機
发表于2024-11-23
Principles of the Spin Model Checker pdf epub mobi txt 電子書 下載 2024
分布式算法設計與驗證的工具,promela和spin的簡單入門,篇目短小,在有些方麵語焉不詳,要配閤一些其他文檔閱讀。
評分學習Spin工具和Promela語言的必備參考書
評分分布式算法設計與驗證的工具,promela和spin的簡單入門,篇目短小,在有些方麵語焉不詳,要配閤一些其他文檔閱讀。
評分學習Spin工具和Promela語言的必備參考書
評分學習Spin工具和Promela語言的必備參考書
評分
評分
評分
評分
Principles of the Spin Model Checker pdf epub mobi txt 電子書 下載 2024