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