Model Checking

Model Checking pdf epub mobi txt 電子書 下載2025

出版者:The MIT Press
作者:Edmund M. Clarke
出品人:
頁數:314
译者:
出版時間:07 January, 2000
價格:$60.00
裝幀:Hardcover
isbn號碼:9780262032704
叢書系列:
圖書標籤:
  • 模型檢驗 
  • 形式化驗證 
  • 形式化方法 
  • 計算機科學 
  • 計算機 
  • model-checking 
  • model 
  • checking 
  •  
想要找書就要到 圖書目錄大全
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Model checking領域的權威書籍

具體描述

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

模型檢查的入門讀物,但是語言偏晦澀

评分

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

评分

模型檢測的入門,由Clarke大牛領銜著書再閤適不過瞭。

评分

interesting

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有