模型檢測
埃德蒙·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基於模型的測試：一個軟件工藝師的方法 -
LLVM 編譯器實戰教程$474$450 -
數位邏輯設計, 6/e (Mano: Digital Design, 6/e)$740$725 -
圖解電波與光的基礎和運用$400$340 -
零錯誤：全球頂尖企業都採用的科技策略$400$340 -
(人人伽利略 12) 量子論縱覽：從量子論的基本概念到量子電腦$450$383 -
圖解量子力學$250$225 -
超圖解伺服器的架構與運用：硬體架構ｘ軟體運用，輕鬆理解數位時代的必備知識$400$316 -
$407SoC 設計方法與實現, 4/e -
漫畫量子力學2光的祕密大公開：光是波動還是粒子？看愛因斯坦等大科學家，如何以光開啟量子的世界（附贈科學家角色遊戲卡）$460$391 -
電磁波：在各向同性介質中的傳導$390$382 -
矽光子與共同封裝光電產業科技實務$500$475 -
全集中軟體測試：ISTQB CTFL 學習手冊$600$468
中文年末書展｜繁簡參展書2書75折 詳見活動內容 »
-
75折
為你寫的 Vue Components：從原子到系統，一步步用設計思維打造面面俱到的元件實戰力 (iThome 鐵人賽系列書)$780$585 -
75折
BDD in Action, 2/e (中文版)$960$720 -
75折
看不見的戰場：社群、AI 與企業資安危機$750$563 -
79折
AI 精準提問 × 高效應用：DeepSeek、ChatGPT、Claude、Gemini、Copilot 一本搞定$390$308 -
7折
超實用！Word．Excel．PowerPoint 辦公室 Office 365 省時高手必備 50招, 4/e (暢銷回饋版)$420$294 -
75折
裂縫碎光：資安數位生存戰$550$412 -
日本當代最強插畫 2025 : 150位當代最強畫師豪華作品集$640$576 -
79折
Google BI 解決方案：Looker Studio × AI 數據驅動行銷實作，完美整合 Google Analytics 4、Google Ads、ChatGPT、Gemini$630$498 -
79折
超有料 Plus！職場第一實用的 AI 工作術 - 用對 AI 工具、自動化 Agent, 讓生產力全面進化！$599$473 -
75折
從零開始學 Visual C# 2022 程式設計, 4/e (暢銷回饋版)$690$518 -
75折
Windows 11 制霸攻略：圖解 AI 與 Copilot 應用，輕鬆搞懂新手必學的 Windows 技巧$640$480 -
75折
精準駕馭 Word！論文寫作絕非難事 (好評回饋版)$480$360 -
Sam Yang 的插畫藝術：用 Procreate / PS 畫出最強男友視角 x 女孩美好日常$699$629 -
79折
AI 加持！Google Sheets 超級工作流$599$473 -
78折
想要 SSR? 快使用 Nuxt 吧!：Nuxt 讓 Vue.js 更好處理 SEO 搜尋引擎最佳化（iThome鐵人賽系列書）$780$608 -
78折
超實用！業務．總管．人資的辦公室 WORD 365 省時高手必備 50招 (第二版)$500$390 -
7折
Node-RED + YOLO + ESP32-CAM：AIoT 智慧物聯網與邊緣 AI 專題實戰$680$476 -
79折
「生成式⇄AI」：52 個零程式互動體驗，打造新世代人工智慧素養$599$473 -
7折
Windows APT Warfare：惡意程式前線戰術指南, 3/e$720$504 -
75折
我輩程式人：回顧從 Ada 到 AI 這條程式路，程式人如何改變世界的歷史與未來展望 (We, Programmers: A Chronicle of Coders from Ada to AI)$850$637 -
75折
不用自己寫！用 GitHub Copilot 搞定 LLM 應用開發$600$450 -
79折
Tensorflow 接班王者：Google JAX 深度學習又快又強大 (好評回饋版)$780$616 -
79折
GPT4 會你也會 - 共融機器人的多模態互動式情感分析 (好評回饋版)$700$553 -
79折
技術士技能檢定 電腦軟體應用丙級術科解題教本｜Office 2021$460$363 -
75折
Notion 與 Notion AI 全能實戰手冊：生活、學習與職場的智慧策略 (暢銷回饋版)$560$420
相關主題
商品描述
模型檢測是一種用於自動驗證有限狀態並發系統的技術，與基於模擬、測試和演繹推理的傳統技術相比，具有許多方面的優勢。本書共分18章，涵蓋的主要內容包括模型檢測的基本知識、模態邏輯、符號化技術、SATSolver、限界模型檢測、自動機上的模型檢測、抽象解釋、程序分析、實時系統驗證，同時介紹NuSMV和UPPAAL兩個流行的模型檢測器。
