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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642216909 - maanantai 23. toukokuuta 2011
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
Ft 24.040

Tilattu etävarastosta

Arvioitu toimitus to 23. loka - ma 3. marras

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 23. toukokuuta 2011
ISBN13 9783642216909
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 245
Mitta 155 × 235 × 15 mm   ·   408 g
Kieli French  
Toimittaja Ong, Luke
Näytä kaikki

Lisää tuotteita Luke Ong

Katso kaikki joka sisältää Luke Ong ( Esim. Paperback Book )