Name: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ...
Brand: Springer Berlin Heidelberg
SKU: ID12405203
Availability: InStock

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ...

53.49 EUR

Der Band fasst die Ergebnisse der zweiten internationalen Konferenz zu typisierten Lambda‑Kalkülen aus Edinburgh 1995 zusammen, beleuchtet theoretische Fortschritte und zeigt deren Einsatz in modernen Programmiersprachen und formalen Logiksystemen.

Marke: Springer Berlin Heidelberg

ISBN: 354059048X

MPN: 6903003

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science)

Medimops DE

53.49 EUR 53.49 EUR

20-06-2026 02:08:57

Access to the deal

Gesponsert Typed Lambda Calculi and Applications

SpringerLink DE

53.49 EUR 53.49 EUR

19-06-2026 18:49:17

Access to the deal

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ...

Gesponsert Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science)

Gesponsert Typed Lambda Calculi and Applications

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ...

Gesponsert Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, ... (Lecture Notes in Computer Science)

Gesponsert Typed Lambda Calculi and Applications

Ähnliche Produkte

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

Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, ... Notes in Computer Science, 1210, Band 1210)

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... Notes in Computer Science, 664, Band 664)

Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581, Band 1581)