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: 64.49 USD
Availability: OutOfStock
Author: Daniel Kroening

Precio

$ 64,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

Nuestros clientes opinan:

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

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

También disponible como:

Hardcover Book

2nd ed. 2016 edition

(2017) $ 84,49

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

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	13 de julio de 2018
ISBN13	9783662570654
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	356
Dimensiones	233 × 156 × 24 mm · 582 g
Lengua	Alemán