Streicher, T.: Semantics of Type Theory

Semantics of Type Theory
Wo zu kaufen (3) Eigenschaften
Gesponsert
Semantics of Type Theory (Progress in Theoretical Computer Science)
Medimops DE
90.94 EUR
Preis aktualisiert am: 28-10-2026 16:43:15
Siehe Produktangebot
Gesponsert
Semantics of Type Theory
SpringerLink DE
90.94 EUR
Preis aktualisiert am: 28-10-2026 06:25:32
Siehe Produktangebot
Gesponsert
Semantics of Type Theory
Hugendubel
90.99 EUR
Preis aktualisiert am: 29-10-2026 00:32:15
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
Aus115.98 EUR 3
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)
Aus37.44 EUR 3
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)
Aus53.14 EUR 2
Produkt anzeigen
Xiang, Tao: Visual Analysis of Behaviour
Xiang, Tao: Visual Analysis of Behaviour
Aus177.00 EUR 1
Produkt anzeigen
Semantics and Psychology of Spirituality
Semantics and Psychology of Spirituality
Aus236.00 EUR 1
Produkt anzeigen
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
Aus74.99 EUR 1
Produkt anzeigen
Menü