Name: 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)
Brand: Springer Berlin Heidelberg
SKU: ID12405176
Availability: InStock

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)

53.49 EUR

Erfahren Sie in den TLCA'99 Proceedings aus L'Aquila, wie moderne Typisierungsansätze Lambda‑Kalkülen stärken und deren Einsatz in formalen Verifikationswerkzeugen vorantreiben.

Marke: Springer Berlin Heidelberg

ISBN: 3540657630

MPN: 6956545

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: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581, Band 1581)

Medimops DE

53.49 EUR 53.49 EUR

20-06-2026 02:09:05

Access to the deal

Gesponsert Typed Lambda Calculi and Applications

SpringerLink DE

53.49 EUR 53.49 EUR

19-06-2026 18:49:02

Access to the deal

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)

Gesponsert 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)

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: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581, Band 1581)

Gesponsert 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)

Gesponsert Typed Lambda Calculi and Applications

Ähnliche Produkte

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)

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings (Lecture Notes in Computer Science, 968, Band 968)

Typed Lambda Calculi and Applications

Semantics of the Probabilistic Typed Lambda Calculus