Model checking領域的權威書籍
評分
評分
評分
評分
Clarke,圖靈奬得主,這本書很經典,值得每一個做推理和驗證相關,甚至每一個做計算機理論的人認真讀
评分Clarke,圖靈奬得主,這本書很經典,值得每一個做推理和驗證相關,甚至每一個做計算機理論的人認真讀
评分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.
评分Clarke,圖靈奬得主,這本書很經典,值得每一個做推理和驗證相關,甚至每一個做計算機理論的人認真讀
评分介紹model checking的很多理論知識,不錯的書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有