SAT 2005: Satisfiability Research in the Year 2005 - Enrico Giunchiglia - Libros - Springer - 9789400787155 - 3 de diciembre de 2014
En caso de que portada y título no coincidan, el título será el correcto

Enrico Giunchiglia
SAT 2005: Satisfiability Research in the Year 2005 2006 edition

Precio
$ 158,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification.

293 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de diciembre de 2014
ISBN13 9789400787155
Editores Springer
Páginas 293
Dimensiones 155 × 235 × 16 mm   ·   421 g
Editor Giunchiglia, Enrico
Editor Walsh, Toby

Mas por Enrico Giunchiglia

Mostrar todo

Mere med samme udgiver

Ver todo de Enrico Giunchiglia ( Ej. Paperback Book )