Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings - Lecture Notes in Computer Science - Martin Hofmann - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540403326 - 27 mai 2003
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 14 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits 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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 27 mai 2003
ISBN13 9783540403326
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 320
Dimensions 155 × 235 × 17 mm   ·   498 g
Langue et grammaire Allemand  
Éditeur Hofmann, Martin

Plus par Martin Hofmann

Afficher tout