Decision Procedures: An Algorithmic Point of View - Texts in Theoretical Computer Science. An EATCS Series - Daniel Kroening - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783662504963 - 27 de enero de 2017
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 84,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.

Nuestros clientes opinan:

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:

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.

377 pages, 59 black & white illustrations, 5 colour illustrations, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 27 de enero de 2017
ISBN13 9783662504963
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 356
Dimensiones 165 × 244 × 26 mm   ·   722 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Daniel Kroening ( Ej. Paperback Book y Hardcover Book )