Streicher, T.: Semantics of Type Theory

Semantics of Type Theory
Wo zu kaufen (2) Eigenschaften
Gesponsert
Semantics of Type Theory (Progress in Theoretical Computer Science)
Medimops DE
90.94 EUR
Preis aktualisiert am: 12-06-2026 05:17:17
Siehe Produktangebot
Gesponsert
Semantics of Type Theory
SpringerLink DE
90.94 EUR
Preis aktualisiert am: 11-06-2026 23:14:08
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 9781461267577

Eigenschaften

Ähnliche Produkte

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics
Produkt anzeigen
Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics (Texts in Computer Science)
Big Data Integration Theory: Theory and Methods of Database Mappings, Programming Languages, and Semantics (Texts in Computer Science)
Produkt anzeigen
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173, Band 173)
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173, Band 173)
Produkt anzeigen
Xiang, Tao: Visual Analysis of Behaviour
Xiang, Tao: Visual Analysis of Behaviour
Produkt anzeigen
Semantics and Psychology of Spirituality
Semantics and Psychology of Spirituality
Produkt anzeigen
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Produkt anzeigen
Menü