Dybjer peter editor (1 resultados)
Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers (Lecture Notes in Computer Science)
Coquand, Thierry [Editor]; Dybjer, Peter [Editor]; Nordström, Bengt [Editor]; Smith, Jan [Editor];
- Tapa blanda
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de AmericaGuthrieBooks
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 33,22
Envío por EUR 6,14Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
