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 - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783642216909 - 2011. gada 23. maijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 65,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 23. okt. - . gada 6. nov.
Saņemiet paziņojumus par jauniem Luke Ong izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2011. gada 23. maijs
ISBN13 9783642216909
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 245
Izmēri 155 × 235 × 15 mm   ·   408 g
Valoda Franču  
Redaktors Ong, Luke

Vairāk no Luke Ong

Vairāk no tā paša izdevēja

Skatīt visus Luke Ong