INGLÉS
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING SAT 2016
Por DANIEL LE BERRE
-5% de dto. exclusivo web
Envío gratis
Entrega aproximada en 2/3 semanas.
No tenemos stock, pero lo pedimos urgente al distribuidor, te lo enviamos en 24h cuando lo recibamos en nuestro almacén, en ocasiones los distribuidores no pueden servirnos el producto, en este caso anularemos el pedido y te informaremos. El importe lo cobramos sólo en el momento en el que hagamos el envío.
Sinopsis
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing SAT 2016 held in Bordeaux France in July 2016 The 31 regular papers 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions The papers address different aspects of SAT including complexity satisfiability solving satisfiability applications satisfiability modulop theory beyond SAT quantified Boolean formula and dependency QBF
Ficha Técnica
Editorial: Springer International Publishing
ISBN: 9783319409696
Idioma: Inglés
Número de páginas: 564
Encuadernación: Tapa blanda
Fecha de lanzamiento: 12/06/2016
Año de edición: 2016
Especificaciones del producto
Reseñas sobre THEORY AND APPLICATIONS OF SATISFIABILITY TESTING SAT 2016
Comparte tu experiencia con la comunidad lectora.
0 Reseñas
5 0
4 0
3 0
2 0
1 0
Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en
20€
Publicar una opinión supone haber leído y aceptado las
bases del sorteo
"Tu opinión tiene premio".
Los libros más vendidos de Otros lenguajes
