Model Checking 在線電子書 圖書標籤: 模型檢驗  形式化驗證  形式化方法  計算機科學  計算機  model-checking  model  checking   

喜歡 Model Checking 在線電子書 的讀者還喜歡

• 
  Communicating Sequential Processes 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  麵嚮計算機科學的數理邏輯係統建模與推理 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Concepts in Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Types and Programming Languages 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  算法引論 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  自動機理論、語言和計算導論(英文版.第3版) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Language Implementation Patterns 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  數理邏輯 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  程序設計語言的形式語義 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載
• 
  Optimizing Compilers for Modern Architectures 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載

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.

Clarke，圖靈奬得主，這本書很經典，值得每一個做推理和驗證相關，甚至每一個做計算機理論的人認真讀