Decision Procedures An Algorithmic Point Of View - Daniel Kroening
由……售出:
CN¥389.00
有货
+ CN¥123.49 送货
14天退货政策
付款方式：
- 品牌: Unbranded
产品详情
产品详情
Decision Procedures An Algorithmic Point Of View - Daniel Kroening
A Decision Procedure Is An Algorithm That, Given A Decision Problem, Terminates With A Correct Yesno Answer. Here, The Authors Focus On Theories That Are Expressive Enough To Model Real Problems, But Are Still Decidable. Specifically, The Book Concentrates On Decision Procedures For First-order Theories That Are Commonly Used In Automated Verification And Reasoning, Theorem-proving, Compiler Optimization And Operations Research.
- 品牌: Unbranded
- 类别: 计算机与互联网
-
语言: English
-
作者: Daniel Kroening
-
出版日期: 2017-01-27
-
页数: 380
-
出版社／标签: Springer Nature B.V
-
格式: Hardcover
- Fruugo ID: 469775809-983730733
- ISBN: 9783662504963
配送
送货
在 24 小时内发货
-
STANDARD: CN¥123.49 - 之间的交付 周一 07 九月 2026–周五 11 九月 2026
从 英国 送货。
退货
退货
我们会争取将您订购的产品按照您的规格完整地配送给您。不过，万一您收到不完整的订单，或收到的产品与您订购的不同，或者有其他原因让您对订单不满意，您可以要求全部或部分退货，您将收到相应产品的全额退款。