模型檢測
埃德蒙·M.克拉克 (Edmund M. Clarke,Jr.), 等
- 出版商: 電子工業
- 出版日期: 2018-11-01
- 定價: $414
- 售價: 7.9 折 $327
- 語言: 簡體中文
- 頁數: 240
- 裝訂: 平裝
- ISBN: 7121352745
- ISBN-13: 9787121352744
-
相關分類:
Computer-Science
立即出貨 (庫存 < 4)
買這商品的人也買了...
-
Verilog - Testbench 數位電路測試程式設計$450$405 -
世界第一簡單傅立葉分析$280$238 -
世界第一簡單量子力學$300$255 -
計算機結構－計量方法 (Computer Architecture: A Quantitative Approach, 5/e)$1,250$1,188 -
Systemverilog for Verification: A Guide to Learning the Testbench Language Features, 3/e (Hardcover)$2,450$2,401 -
$594基於 NiosⅡ 的嵌入式 SoPC 系統設計與 Verilog 開發實例 (Embedded SoPC Design with Nios II Processor and Verilog Examples) -
$234致命Bug 軟件缺陷的災難與啟示 -
$594Linux 防火牆, 4/e (Linux Firewalls: Enhancing Security with nftables and Beyond, 4/e) -
深入理解 Linux 程式設計：從應用到核心$580$493 -
光電子學導論$580$568 -
圖解 Linux 核心工作原理｜透過實作與圖解學習OS與硬體的基礎知識$450$356 -
研究所講重點 : 近代物理的理論與應用$420$399 -
$374基於模型的測試：一個軟件工藝師的方法 -
$403LLVM 編譯器實戰教程 -
數位邏輯設計, 6/e (Mano: Digital Design, 6/e)$740$725 -
圖解電波與光的基礎和運用$400$340 -
零錯誤：全球頂尖企業都採用的科技策略$400$340 -
(人人伽利略 12) 量子論縱覽：從量子論的基本概念到量子電腦$450$383 -
圖解量子力學$250$225 -
超圖解伺服器的架構與運用：硬體架構ｘ軟體運用，輕鬆理解數位時代的必備知識$400$316 -
$378SoC 設計方法與實現, 4/e -
漫畫量子力學2光的祕密大公開：光是波動還是粒子？看愛因斯坦等大科學家，如何以光開啟量子的世界（附贈科學家角色遊戲卡）$460$391 -
電磁波：在各向同性介質中的傳導$390$382 -
矽光子與共同封裝光電產業科技實務$500$475 -
全集中軟體測試：ISTQB CTFL 學習手冊$600$468
簡體館年度書展｜現貨2書79折3書75折 詳見活動內容 »
-
VIP 95折
深入淺出 SSD 測試 : 固態存儲測試流程 方法與工具$594$564 -
VIP 95折
MCP 開發從入門到實戰$515$489 -
85折
$806Linux x64 匯編語言編程 -
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體$479$455 -
VIP 95折
RISC-V 架構 DSP 處理器設計$534$507 -
VIP 95折
硬件系統模糊測試：技術揭秘與案例剖析$419$398 -
85折
$454RAG 實踐權威指南：構建精準、高效大模型之道 -
VIP 95折
CUDA 並行編程與性能優化$714$678 -
VIP 95折
生成式視覺模型原理與實踐$288$274 -
87折
$459AI大模型：賦能通信產業 -
VIP 95折
科學預測——預見科學之美$408$388 -
VIP 95折
Processing創意編程入門：從編程原理到項目案例$299$284 -
VIP 95折
大模型驅動的具身智能 架構,設計與實現$534$507 -
VIP 95折
納米級CMOS VLSI電路(可制造性設計)$474$450 -
VIP 95折
Manus應用與AI Agent設計指南：從入門到精通$359$341 -
87折
$360高薪Offer 簡歷、面試、談薪完全攻略 -
VIP 95折
軟件系統優化$534$507 -
VIP 95折
芯片的較量 (日美半導體風雲)$414$393 -
VIP 95折
Manus AI 智能體從入門到精通$294$279 -
VIP 95折
深度學習：基礎與概念$1,128$1,072 -
85折
$505GitHub Copilot 編程指南 -
87折
$469Cursor 與 Copilot 開發實戰 : 讓煩瑣編程智能化 -
85折
$551C#核心編程200例（視頻課程+全套源程序） -
VIP 95折
Verilog HDL 計算機網絡典型電路算法設計與實現$354$336 -
VIP 95折
SAAS + AI 架構實戰：業務解析、架構設計、AI 應用$708$673
簡體館年度書展｜現貨2書79折3書75折 詳見活動內容 »
-
85折
$806Linux x64 匯編語言編程
-
VIP 95折
MCP 極簡開發 : 輕鬆打造高效智能體
$479$455 -
VIP 95折
硬件系統模糊測試：技術揭秘與案例剖析
$419$398 -
VIP 95折
生成式視覺模型原理與實踐
$288$274 -
87折
$459AI大模型：賦能通信產業
-
VIP 95折
科學預測——預見科學之美
$408$388 -
VIP 95折
Processing創意編程入門：從編程原理到項目案例
$299$284 -
87折
$360高薪Offer 簡歷、面試、談薪完全攻略
-
VIP 95折
軟件系統優化
$534$507 -
85折
$505GitHub Copilot 編程指南
-
85折
$551C#核心編程200例（視頻課程+全套源程序）
-
VIP 95折
SAAS + AI 架構實戰：業務解析、架構設計、AI 應用
$708$673 -
VIP 95折
深入淺出 Docker, 2/e$419$398 -
85折
$658Unity 特效制作：Shader Graph 案例精講 -
79折
$275零基礎玩轉國產大模型DeepSeek -
VIP 95折
人工智能大模型：機器學習基礎$774$735 -
VIP 95折
RAG 極簡入門：原理與實踐$419$398 -
VIP 95折
大模型實戰 : 從零實現 RAG 與 Agent 系統$419$398 -
VIP 95折
算法趣學（第2版）$348$331 -
VIP 95折
大模型理論與實踐——打造行業智能助手$354$336 -
VIP 95折
大模型應用開發 RAG 實戰課$599$569 -
85折
$509生成式人工智能 (基於 PyTorch 實現) -
VIP 95折
機器人抓取力學$894$849 -
VIP 95折
集成電路版圖設計從入門到精通$474$450 -
VIP 95折
Java 學習筆記, 6/e$839$797
相關主題
商品描述
模型檢測是一種用於自動驗證有限狀態並發系統的技術，與基於模擬、測試和演繹推理的傳統技術相比，具有許多方面的優勢。本書共分18章，涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證，同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
