1. Home
  2. Medien
  3. Bücher
  4. Typed Lambda Calculi and Applications
  • #
  • #

Typed Lambda Calculi and Applications

53.49 EUR

Der Band fasst die Beiträge der TLCA 2001 zusammen, beleuchtet neue Typensysteme für Lambda‑Kalküle und zeigt deren Einsatz in Programmverifikation sowie formalen Semantikstudien.

Teilen:

Ähnliche Produkte

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

53.49 EUR

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

53.24 EUR
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

53.49 EUR
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

53.49 EUR
Typed Lambda Calculi and Applications, Fachbücher von Simona Ronchi Della Rocca

Typed Lambda Calculi and Applications, Fachbücher von Simona Ronchi Della Rocca

53.49 EUR
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

37.44 EUR
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

53.49 EUR
Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science)

Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science)

46.98 EUR