Handbook of Practical Logic and Automated Reasoning - John Harrison - Libros - Cambridge University Press - 9780521899574 - 12 de marzo de 2009
En caso de que portada y título no coincidan, el título será el correcto

John Harrison
Handbook of Practical Logic and Automated Reasoning

Precio
$ 184,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 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

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).

702 pages, 10 tables 155 exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 12 de marzo de 2009
ISBN13 9780521899574
Editores Cambridge University Press
Páginas 702
Dimensiones 179 × 252 × 42 mm   ·   1,41 kg
Lengua Inglés  

Mas por John Harrison

Mostrar todo

Mere med samme udgiver

Ver todo de John Harrison ( Ej. Paperback Book , Hardcover Book , Book , LP y Blu-ray )