TOP
💡 邁向小一的第一步!給孩子一本「查得到自信」的專屬辭典,輕鬆跨越閱讀關卡!🚀
縮小範圍
商品類型
商品定價
出版日期
裝訂方式
搜尋結果 /

Model Checking

1
1 / 1
模型檢測(簡體書)
滿額折
出版日:2018/11/19 作者:(美)埃德蒙‧M.克拉克  出版社:電子工業出版社  裝訂:平裝
模型檢測是一種用於自動驗證有限狀態併發系統的技術,與基於模擬、測試和演繹推理的傳統技術相比,具有許多方面的優勢。本書共分18章,涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證,同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
優惠價: 87 360
無庫存
  • 1
    1

暢銷榜

客服中心

收藏

會員專區