Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science - Martin Hofmann - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540403326 - 27 maja 2003
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science 2003 edition

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 1 - 9 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003. The 21 revised full papers presented were carefully reviewed and selected from 40 submissions.


320 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 27 maja 2003
ISBN13 9783540403326
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 320
Wymiary 155 × 235 × 17 mm   ·   498 g
Język Niemiecki  
Redaktor Hofmann, Martin

Więcej od Martin Hofmann

Pokaż wszystko