Model Checking 在线电子书 图书标签: 模型检验 形式化验证 形式化方法 计算机科学 计算机 model-checking model checking
发表于2024-09-26
Model Checking 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
模型检测的入门,由Clarke大牛领衔著书再合适不过了。
评分interesting
评分interesting
评分模型检查的入门读物,但是语言偏晦涩
评分模型检测的入门,由Clarke大牛领衔著书再合适不过了。
Model checking领域的权威书籍
评分
评分
评分
评分
Model Checking 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024