☆☆☆☆☆
簡體網頁||繁體網頁

Model Checking pdf epub mobi 著者簡介

---

Model Checking pdf epub mobi 圖書描述

---

Model Checking pdf epub mobi 圖書目錄

---

點擊這裡下載

---

---

---

發表於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

叢書系列:

評分☆☆☆☆☆

模型檢測的入門，由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.

評分☆☆☆☆☆

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.

評分☆☆☆☆☆

Clarke，圖靈奬得主，這本書很經典，值得每一個做推理和驗證相關，甚至每一個做計算機理論的人認真讀

查看全網最低價