☆☆☆☆☆
简体网页||繁体网页

Model Checking 2024 pdf epub mobi 电子书 著者简介

---

Model Checking 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-05-29

Model Checking 2024 pdf epub mobi 电子书

Model Checking 2024 pdf epub mobi 电子书

Model Checking 2024 pdf epub mobi 电子书

---

喜欢 Model Checking 电子书 的读者还喜欢

• 
  Communicating Sequential Processes 2024 pdf epub mobi 电子书
• 
  面向计算机科学的数理逻辑系统建模与推理 2024 pdf epub mobi 电子书
• 
  Concepts in Programming Languages 2024 pdf epub mobi 电子书
• 
  Types and Programming Languages 2024 pdf epub mobi 电子书
• 
  算法引论 2024 pdf epub mobi 电子书
• 
  自动机理论、语言和计算导论(英文版.第3版) 2024 pdf epub mobi 电子书
• 
  Language Implementation Patterns 2024 pdf epub mobi 电子书
• 
  数理逻辑 2024 pdf epub mobi 电子书
• 
  程序设计语言的形式语义 2024 pdf epub mobi 电子书
• 
  Optimizing Compilers for Modern Architectures 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

出版者:The MIT Press

作者:Edmund M. Clarke

出品人:

页数:314

译者:

出版时间:07 January, 2000

价格:$60.00

装帧:Hardcover

isbn号码:9780262032704

丛书系列:

Model Checking 2024 pdf epub mobi 电子书

评分☆☆☆☆☆

模型检测的入门，由Clarke大牛领衔著书再合适不过了。

评分☆☆☆☆☆

interesting

评分☆☆☆☆☆

Clarke，图灵奖得主，这本书很经典，值得每一个做推理和验证相关，甚至每一个做计算机理论的人认真读

评分☆☆☆☆☆

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.

查看全网最低价