Handbook of Practical Logic and Automated Reasoning

Harrison, John

ISBN 10: 0521899575 ISBN 13: 9780521899574

Editorial: Cambridge University Press, 2009

Idioma: Ingl�s

Nuevos Condici�n: New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por California Books, Miami, FL, Estados Unidos de America

Vendedor de AbeBooks desde 27 de octubre de 2023

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: New

Precio: EUR 169,26 Convertir moneda

EUR 6,85 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo I-9780521899574

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Handbook of Practical Logic and Automated Reasoning
Editor: Cambridge University Press
Fecha de publicaci�n: 2009
Idioma: Ingl�s
ISBN 10: 0521899575
ISBN 13: 9780521899574
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: New

Acerca de

Sinopsis

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

Acerca del autor

John Harrison is a Principal Engineer at the Intel Corporation in Portland, Oregon. He specialises in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Miramar International Services LLC

Condiciones de venta y env�o

Condiciones de venta

www.californiabooks.com

Condiciones de env�o

www.californiabooks.com

M�todos de pago

A�adir una petici�n