Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues - Luke Ong - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642216909 - 23. mai 2011
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues

Luke Ong

Pris
CA$ 90,49

Bestillingsvarer

Forventes levert 13. - 22. okt

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings - Theoretical Computer Science and General Issues

This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction, and Programming.

257 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 23. mai 2011
ISBN13 9783642216909
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 245
Mål 155 × 235 × 15 mm   ·   408 g
Språk Fransk  
Redaktør Ong, Luke
Vis alle

Mer med Luke Ong

Se alt med Luke Ong ( f.eks. Pocketbok )