Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

L.J.M. Claesen & M.J.C. Gordon

ISBN 10: 0444898808 ISBN 13: 9780444898807
Editorial: North Holland Publishing, 1993
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa blanda

Vendido por Salish Sea Books, Bellingham, WA, Estados Unidos de America

Vendedor de AbeBooks desde 15 de mayo de 2007

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Condición: Usado - Como Nuevo

Precio:
EUR 119,52
EUR 3,43 gastos de envío en Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito