Model checking領域的權威書籍
發表於2024-09-28
Model Checking 2024 pdf epub mobi 電子書 下載
圖書標籤: 模型檢驗 形式化驗證 形式化方法 計算機科學 計算機 model-checking model checking
模型檢查的入門讀物,但是語言偏晦澀
評分Clarke,圖靈奬得主,這本書很經典,值得每一個做推理和驗證相關,甚至每一個做計算機理論的人認真讀
評分interesting
評分模型檢測的入門,由Clarke大牛領銜著書再閤適不過瞭。
評分模型檢測的入門,由Clarke大牛領銜著書再閤適不過瞭。
Model Checking 2024 pdf epub mobi 電子書 下載