Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia | Kaicus Deutschland

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings

53.49 EUR 9% Off 59.00 EUR

Ein kompakter Leitfaden aus der neunten TLCA‑Konferenz in Brasília, der theoretische Fortschritte im typisierten Lambda‑Kalkül mit praxisnahen Fallstudien verbindet und neue Forschungsansätze beleuchtet.

Marke: Pierre-Louis Curien
ISBN: 3642022723
MPN: biography
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
59.00 EUR 59.00 EUR
20-06-2026 04:00:29