Spivak, David I.: Temporal Type Theory
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)
128.39 EUR
Preis aktualisiert am: 16-05-2026 00:11:48
128.39 EUR
Preis aktualisiert am: 16-05-2026 00:11:48 
SpringerLink DE
Gesponsert Temporal Type Theory
128.39 EUR
Preis aktualisiert am: 15-05-2026 16:30:29
128.39 EUR
Preis aktualisiert am: 15-05-2026 16:30:29 | Bezeichner | |
|---|---|
| ISBN | Springer-Verlag GmbH 3030007030 |
| MPN | Springer-Verlag GmbH 33747855 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Die Springer-Verlag GmbH ist ein deutscher Verlag, der vor allem wissenschaftliche und medizinische Fachzeitschriften publiziert. Das Unternehmen wurde 1946 von Kurt und Heinrich Springer gegründet. Heute gehört die Springer-Verlag GmbH zur Axel Springer SE.
