Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science)
Ein Sammelband der 11. TLCA-Konferenz aus Eindhoven, der aktuelle Forschung zu typisierten Lambda‑Kalkülen und deren Anwendungen präsentiert, von theoretischen Grundlagen bis zu praxisnahen Fallstudien.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE
Gesponsert
Galaxus.de
Typed Lambda Calculi and Applications, Fachbücher von Masahito Hasegawa
Galaxus.de
26-04-2026 21:27:10
Ähnliche Produkte
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
37.44 EUR