圖書標籤: 模型檢驗 形式化驗證 形式化方法 計算機科學 計算機 model-checking model checking
发表于2024-12-23
Model Checking pdf epub mobi txt 電子書 下載 2024
Model checking領域的權威書籍
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的很多理論知識,不錯的書
評分模型檢測的入門,由Clarke大牛領銜著書再閤適不過瞭。
評分介紹model checking的很多理論知識,不錯的書
評分Clarke,圖靈奬得主,這本書很經典,值得每一個做推理和驗證相關,甚至每一個做計算機理論的人認真讀
評分
評分
評分
評分
Model Checking pdf epub mobi txt 電子書 下載 2024