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

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

---

Model Checking 电子书 图书目录

---

点击这里下载

---

---

---

发表于2024-11-27

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 电子书

评分☆☆☆☆☆

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.

评分☆☆☆☆☆

介绍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.

查看全网最低价