Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)

Gordon, M.; Milner, R.; Wadsworth, C. P.

ISBN 10: 3540097244 ISBN 13: 9783540097242

Editorial: Springer, 1980

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

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 blanda

Condici�n: Nuevo

Precio: EUR 27,58 Convertir moneda

EUR 6,91 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-9783540097242

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Editor: Springer
Fecha de publicaci�n: 1980
Idioma: Ingl�s
ISBN 10: 3540097244
ISBN 13: 9783540097242
Encuadernaci�n: Encuadernaci�n de tapa blanda
Estado: New

Acerca de

Sinopsis

es un libro, ver nuestra descripci�n completa

"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