Name: Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)
Brand: Springer-Verlag GmbH
SKU: ID12353990
Availability: InStock

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

128.39 EUR

Ein einführendes Werk, das die Zeitabhängigkeit in der Typentheorie mit Topos‑Theorie verknüpft und damit neue Methoden zur formalen Analyse dynamischer Systeme entwickelt.

Marke: Springer-Verlag GmbH

ISBN: 3030007030

MPN: 33747855

Angebote
Merkmale

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

Gesponsert Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Medimops DE

128.39 EUR 128.39 EUR

09-06-2026 06:19:44

Access to the deal

Gesponsert Temporal Type Theory

SpringerLink DE

128.39 EUR 128.39 EUR

09-06-2026 17:10:26

Access to the deal

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Gesponsert Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Gesponsert Temporal Type Theory

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Gesponsert Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)

Gesponsert Temporal Type Theory

Ähnliche Produkte

Advances in Spatial and Temporal Databases

Spatio-temporal Networks

Spatio-temporal Intertwining: Husserl's Transcendental Aesthetic

La dimensión temporal en los cuentos de Julio Ramón Ribeyro: Técnicas narrativo-temporales