登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日
大書城 以“ 精确 模式”搜“ 丹尼尔·克勒宁Daniel Kroen ”共有 1 結果: 支援简体 / 繁體 / 正體字輸入搜索
判定过程:SAT与SMT求解算法(第2版) 判定过程: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.