SAT 2005: Satisfiability Research in the Year 2005 - E Glunchiglia - Libros - Springer-Verlag New York Inc. - 9781402045523 - 30 de octubre de 2006
En caso de que portada y título no coincidan, el título será el correcto

E Glunchiglia
SAT 2005: Satisfiability Research in the Year 2005 2006 edition

Precio
$ 184,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 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     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de octubre de 2006
ISBN13 9781402045523
Editores Springer-Verlag New York Inc.
Páginas 293
Dimensiones 155 × 235 × 17 mm   ·   612 g
Lengua Inglés  
Editor Giunchiglia, Enrico
Editor Walsh, Toby

Mere med samme udgiver

Ver todo de E Glunchiglia ( Ej. Hardcover Book )