Decision Procedures

Decision Procedures pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:Springer

作者:Daniel Kroening

出品人:

页数:304

译者:

出版时间:2008-5-23

价格:USD 69.95

装帧:Hardcover

isbn号码:9783540741046

丛书系列:

图书标签:

SMT
计算机科学
SAT
算法
理论研究
决策过程
pl
形式化方法
定理证明
SAT求解器
SMT求解器
模型检测
程序验证
约束求解
逻辑
人工智能
计算机科学

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

作者简介

目录信息

读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

用户评价

评分☆☆☆☆☆

之前没有这么系统了解过 SMT solvers

评分☆☆☆☆☆

之前没有这么系统了解过 SMT solvers

评分☆☆☆☆☆

之前没有这么系统了解过 SMT solvers

评分☆☆☆☆☆

好书

评分☆☆☆☆☆

之前没有这么系统了解过 SMT solvers

相关图书

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

© 2025 book.quotespace.org All Rights Reserved. 小美书屋版权所有

中国国家图书馆

国立台湾图书馆

美国国会图书馆

开放图书馆 openlibrary.org