Program Logics for Certified Compilers

Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)

ISBN 10: 110704801X ISBN 13: 9781107048010
Editorial: Cambridge University Press, 2014
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa dura

Vendido por GreatBookPricesUK, Woodford Green, Reino Unido

Vendedor de AbeBooks desde 28 de enero de 2020

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 dura

Condición: Usado - Como Nuevo

Precio: EUR 118,30 Convertir moneda
EUR 17,20 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