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 | Livres anciens et modernes | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Livres anciens et modernes
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 | Livres anciens et modernes | Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Livres anciens et modernes
Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Springer-Verlag,
1995
23,50 €
(Lexington,
États-Unis d'Amérique)
Mode de Paiement
- PayPal
- Carte bancaire
- Virement bancaire
- Pubblica amministrazione
- Carta del Docente
Détails
- Année
- 1995
- ISBN
- 9783540590484
- Lieu d'édition
- New York
- Auteur
- Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
- Éditeurs
- Springer-Verlag
- Edition
- Reprint
- Thème
- Computer Science
- Description
- Paperback
- Etat de conservation
- Tres bonne condition
- Langues
- Anglais
- Reliure
- Couverture souple
- Premiére Edition
- False
Description
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
