Handbook of Practical Logic and Automated Reasoning

Harrison, John

ISBN 10: 0521899575 ISBN 13: 9780521899574

Editorial: Cambridge University Press, 2009

Idioma: Ingl�s

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

Guardar para m�s tarde

Vendido por Mispah books, Redhill, SURRE, Reino Unido

Vendedor de AbeBooks desde 15 de abril de 2021

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Like New

Precio: EUR 288,95 Convertir moneda

EUR 29,35 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New.

N� de ref. del art�culo ERICA77505218995756

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: Hardcover
Estado: Like New
Tipo de libro: book

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 collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Mispah books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Condiciones de env�o

Our rates depends on weight of the item & shipping destination

M�todos de pago

A�adir una petici�n