Comparativa de precios
-
Amazon
Mejor opción
119,16 € Envío gratisTotal 119,16 € 2 días
Compras directamente en la tienda oficial, al mismo precio que yendo por tu cuenta. Los precios y la disponibilidad pueden variar; cada oferta indica cuándo se consultó su precio si no es reciente.
Sobre este libro
A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).