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
Vendido por Ria Christie Collections, Uxbridge, Reino Unido
Vendedor de AbeBooks desde 25 de marzo de 2015
Nuevos - Encuadernación de tapa blanda
Condición: Nuevo
Precio:
EUR 26,90
Convertir moneda
EUR 5,16
gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Añadir al carrito