Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Libri antichi e moderni
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
Libri antichi e moderni
Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
Springer-Verlag,
1995
23,50 €
(Lexington,
Stati Uniti d'America)
Metodi di Pagamento
- PayPal
- Carta di Credito
- Bonifico Bancario
- Pubblica amministrazione
- Carta del Docente
Dettagli
- Anno di pubblicazione
- 1995
- ISBN
- 9783540590484
- Luogo di stampa
- New York
- Autore
- Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon (Eds.)
- Editori
- Springer-Verlag
- Edizione
- Reprint
- Soggetto
- Computer Science
- Descrizione
- Paperback
- Stato di conservazione
- Molto buono
- Lingue
- Inglese
- Legatura
- Brossura
- Prima edizione
- False
Descrizione
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
