Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, 29, Band 29)
Ein umfassendes Werk, das die Zeitabhängigkeit in der Typentheorie mit Topos‑Theorie verknüpft und damit neue Wege für die formale Analyse dynami ...
Gesponsert
Medimops DE
128.39 EUR
Preis aktualisiert am: 29-05-2026 11:00:54
Gesponsert
SpringerLink DE
128.39 EUR
Preis aktualisiert am: 29-05-2026 15:04:50
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 3030007030
MPN
Springer-Verlag GmbH 33747855
