圖書標籤: 模型檢驗 形式化驗證 形式化方法 計算機科學 計算機 model-checking model checking
发表于2025-04-01
Model Checking pdf epub mobi txt 電子書 下載 2025
Model checking領域的權威書籍
interesting
評分This is an excellent book for the introduction of model checking. From my view point, there is still a lot of space for improvement on teaching model checking. Model checking is a very simple problem on how to explore the huge space. This book tells the solutions, but does not tell how people find out these solutions.
評分模型檢查的入門讀物,但是語言偏晦澀
評分介紹model checking的很多理論知識,不錯的書
評分介紹model checking的很多理論知識,不錯的書
評分
評分
評分
評分
Model Checking pdf epub mobi txt 電子書 下載 2025