圖書標籤: 模型檢驗  形式化驗證  形式化方法  計算機科學  計算機  model-checking  model  checking   

喜歡 Model Checking 的讀者還喜歡

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

interesting

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的很多理論知識，不錯的書

介紹model checking的很多理論知識，不錯的書