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

Typed Lambda Calculi and Applications

59.00 EUR 53.49 EUR 9% Off

Der Band dokumentiert die zweite internationale Konferenz zu typisierten Lambda‑Kalkülen, die 1995 in Edinburgh stattfand; er verbindet theoretische Grundlagen mit konkreten Anwendungen in Programmierung und formaler Logik.

Teilen:

Ähnliche Produkte

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

Typed Lambda Calculi and Applications

53.49 EUR
Conditional and Typed Rewriting Systems

Conditional and Typed Rewriting Systems

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)

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

53.49 EUR
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

53.49 EUR