香港·大書城 -- megBook Book Store -- 香港書城,香港網上書店

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

在 大書城 以“ 精确模式”搜“ 丹尼尔·克勒宁Daniel Kroen ”共有 1 结果：

同時支援繁體 / 正體 / 简体字輸入搜索

	判定过程：SAT与SMT求解算法（第2版）『简体书』作者：[英]丹尼尔·克勒宁[Daniel Kroening][以]　　出版：人民邮电出版社　　日期：2025-09-01 本书系统介绍了各种可判定的一阶理论及其在自动软件和硬件验证、定理证明与编译器优化等场景中的具体应用，涵盖了可满足性（SAT）求解器和可满足性模理论（SMT）求解器的核心技术，以及命题逻辑、线性算术和位向量等多种建模语言。作者通过大量实际案例展示了如何将复杂的计算问题转化为形式化的逻辑问题，并借助高效 ...	詳情>>	售價：HK$ 175.8

>>> （頁碼:1/1　行數:20/1） 1

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.