Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)

~~59.00 EUR~~ 53.49 EUR 9% Off

Ein kompaktes Sammelwerk aus der neunten TLCA-Konferenz, die im Juli 2009 in Brasília stattfand; es präsentiert aktuelle Forschung zu typisierten Lambda‑Kalkülen und deren praktische Anwendungen.

Gesponsert

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR

12-08-2026 05:38:30

Gesponsert

Typed Lambda Calculi and Applications

SpringerLink DE

59.00 EUR

12-08-2026 03:38:28

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)

Ähnliche Produkte