Daniel Kroening
Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series Daniel Kroening Softcover reprint of the original 2nd ed. 2016 edition

Name: Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series
Price: 9806 JPY
Availability: OutOfStock
Author: Daniel Kroening

価格

¥ 9.806

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月23日 - 年12月3日

クリスマスプレゼントは1月31日まで返品可能です

Daniel Kroening の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Hardcover Book

2nd ed. 2016 edition

(2017) ¥ 12.848

Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series

Daniel Kroening

Softcover reprint of the original 2nd ed. 2016 edition

The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework.

356 pages, 5 Illustrations, color; 59 Illustrations, black and white; XXI, 356 p. 64 illus., 5 illus

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2018年7月13日
ISBN13	9783662570654
出版社	Springer-Verlag Berlin and Heidelberg Gm
ページ数	356
寸法	233 × 156 × 24 mm · 582 g
言語	ドイツ語