Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science (2277))

Pollack, Robert, Callaghan, Paul, McKinna, James, Luo, Zhaoh

ISBN 10: 3540432876 ISBN 13: 9783540432876
Editorial: Springer, 2002
Idioma: Inglés
Condición: Usado - Como Nuevo Encuadernación de tapa blanda

Vendido por Mispah books, Redhill, SURRE, Reino Unido

Vendedor de AbeBooks desde 15 de abril de 2021

Calificación del vendedor: 4 de 5 estrellas Valoración 4 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 99,82
Envío por EUR 28,84
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito