Decision Procedures 2nd

Name: Decision Procedures 2nd
Rating: 4.5 (34 reviews)
Author: PandaDalin

上传者：PandaDalin 2020-06-17 10:52:32上传 PDF文件 3.72MB 热度 34次

作者:DanielKroening/OferStrichman 出版社:Springer 副标题:AnAlgorithmicPointofView 出版年:2008-5-23 介绍：Z3等SMT求解器理论基础

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Decision Procedures2nd

作者:DanielKroening/OferStrichman出版社:Springer副标题:AnA...

大小：0B | 2020-06-17 10:52:32
Decision Procedures An Algorithmic Point of View

SMT求解器技术的理论基础，包括谓词逻辑约束求解、涉及Equality logic和Uninterp...

大小：0B | 2018-12-28 10:09:57
Business Analytics 2nd

大小：0B | 2018-12-07 14:16:25
systemverilog for verification 2nd

大小：0B | 2018-12-08 23:48:40
Beginning Scala, 2nd

大小：0B | 2019-01-01 13:55:23
spring in action 2nd

大小：0B | 2019-01-01 12:11:13
Essential SNMP 2nd

大小：0B | 2018-12-07 15:14:59
SystemVerilog For Verification 2nd

大小：0B | 2018-12-08 23:48:46
jQuery in Action,2nd

大小：0B | 2019-01-02 12:14:03
2nd ProgrammingMassivelyParallelProcessors2ndEdition

一本非常经典的平行计算的学习书籍，已经是第二版的了，全书销量达几十万册，是众多平行计算开发者的必备工...

大小：0B | 2019-05-14 18:15:49
Ionic 2 Cookbook(2nd) mobi

大小：0B | 2019-01-02 13:30:14
jQuery in Action 2nd Edition

大小：0B | 2019-03-28 13:19:26
Drawing for Dummies, 2nd Edition

大小：0B | 2019-03-29 03:42:44
Fundamentals of Wavelets 2nd Edition

大小：0B | 2019-04-02 13:27:26
Python Cookbook, 2nd Edition

大小：0B | 2019-03-16 08:58:31
Python 核心编程.2nd

大小：0B | 2019-04-18 06:56:54