图书标签: 模型检验 形式化验证 形式化方法 计算机科学 计算机 model-checking model checking
发表于2024-11-26
Model Checking pdf epub mobi txt 电子书 下载 2024
Model checking领域的权威书籍
介绍model checking的很多理论知识,不错的书
评分模型检测的入门,由Clarke大牛领衔著书再合适不过了。
评分模型检测的入门,由Clarke大牛领衔著书再合适不过了。
评分模型检查的入门读物,但是语言偏晦涩
评分Clarke,图灵奖得主,这本书很经典,值得每一个做推理和验证相关,甚至每一个做计算机理论的人认真读
评分
评分
评分
评分
Model Checking pdf epub mobi txt 电子书 下载 2024