Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom | Libros antiguos y modernos | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Libros antiguos y modernos
Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Springer-Verlag,
1995
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom | Libros antiguos y modernos | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Libros antiguos y modernos
Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Springer-Verlag,
1995
23,50 €
(Lexington,
Estados Unidos)
Formas de Pago
- PayPal
- Tarjeta de crédito
- Transferencia Bancaria
- Pubblica amministrazione
- Carta del Docente
Detalles
- Año de publicación
- 1995
- ISBN
- 9783540590484
- Lugar de impresión
- New York
- Autor
- Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
- Editores
- Springer-Verlag
- Edición
- Reprint
- Materia
- Computer Science
- Descripción
- Paperback
- Conservación
- Muy bueno
- Idiomas
- Inlgés
- Encuadernación
- Tapa blanda
- Primera edición
- False
Descripción
Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK
