![]() |
登入帳戶
| 訂單查詢
| ![]() |
|
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
香港/國際用戶 |
![]() |
最新/最熱/最齊全的簡體書網 | 品種:超過100萬種書,正品正价,放心網購,悭钱省心 | 送貨:速遞 / 物流,時效:出貨後2-4日 | ![]() |
在 大書城
以“
精确
模式”搜“
丹尼尔·克勒宁Daniel Kroen
”共有
1
結果:![]() |
支援简体 / 繁體 / 正體字輸入搜索 |
![]() ![]() |
判定过程:SAT与SMT求解算法(第2版)
作者:[英]丹尼尔·克勒宁[Daniel Kroening][以] 出版:人民邮电出版社 日期:2025-09-01 本书系统介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用,涵盖了可满足性(SAT)求解器和可满足性模理论(SMT)求解器的核心技术,以及命题逻辑、线性算术和位向量等多种建模语言。作者通过大量实际案例展示了如何将复杂的计算问题转化为形式化的逻辑问题,并借助高效的判定过程进行求解。 ... |
詳情>> | 售價:NT$ 815 ![]() |
>>> (頁碼:1/1 行數:20/1) 1 |
書城介紹 | 合作申請 | 索要書目 | 新手入門 | 聯絡方式 | 幫助中心 | 找書說明 | 送貨方式 | 付款方式 | 台灣用户 | 香港/海外用户 |
megBook.com.tw | |
Copyright (C) 2013 - 2025 (香港)大書城有限公司 All Rights Reserved. |