Model checking領域的權威書籍
具體描述
讀後感
評分
評分
評分
評分
用戶評價
介紹model checking的很多理論知識，不錯的書
评分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.
评分介紹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.
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有