From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)

Dominique Snyers; Andr� Thayse

ISBN 10: 0387182179 ISBN 13: 9780387182179

Editorial: Springer Verlag

Idioma: Ingl�s

Condici�n: Good Encuadernaci�n de tapa blanda

Librer�a: dsmbooks, Liverpool, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 28 de septiembre de 2015

Precio: EUR 81,04 Convertir moneda

EUR 31,61 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

Descripci�n

Good. N� de ref. del art�culo D8S0-3-M-0387182179-5

Detalles bibliogr�ficos

T�tulo: From Logic Design to Logic Programming: ...

Editorial: Springer Verlag

Encuadernaci�n: paperback

Condici�n: Good

Tipo de libro: book

Acerca de

Sinopsis:

Book by Snyers Dominique Thayse Andre

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

Descripci�n de la librer�a

collection of few very good books

dsmbooks
United Kingdom

Condiciones de venta:

we ship all orders with in the specified shipping date.

Condiciones de env�o:

We use international air service to deliver products.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n