店鋪： 世紀擺渡人專營店
齣版社： 電子工業齣版社
ISBN：9787121272950
商品編碼：25680011268
包裝：平裝
齣版時間：2016-02-01
具体描述
基本信息
書名：模型檢測
定價：69.00元
作者： E.M.剋拉剋（Edmund M. Clarke Jr.）,
齣版社：電子工業齣版社
齣版日期：2016-02-01
ISBN：9787121272950
字數：
頁碼：236
版次：1
裝幀：平裝
開本：16開
商品重量：0.4kg
編輯推薦
工具書>百科全書
內容提要
模型檢測是一種用於自動驗證有限狀態並發係統的技術，與基於模擬、測試和演繹推理的傳統技術相比，具有許多方麵的優勢。本書涵蓋的內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時係統驗證，同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
目錄
工具書>百科全書
作者介紹
Edmund M.Clarke教授，現任美國卡內基.梅隆大學計算機科學係教授，並且是ACM和IEEE會士。他在軟硬件驗證、自動定理證明、形式方法等方麵享有崇高的國際聲譽，2007年獲得ACM圖靈奬。
李剛，華北電力大學（保定）計算機係講師，目前從事軟件工程、建模與仿真、智能電網的信息化管理等方麵的研究工作，主要內容是將計算機科學與技術的理論方法應用到電力係統的問題中，在智電網的故障診斷與預測方麵，獲得實用新型授權2項、計算機軟件著作權1項。
文摘
工具書>百科全書
序言
工具書>百科全書
用户评价
评分
评分
评分
评分
评分
评分
评分
评分
评分
相关图书
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 tushu.tinynews.org All Rights Reserved. 求知書站 版权所有