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: 02-08-2026 23:38:49
128.39 EUR
Preis aktualisiert am: 02-08-2026 23:38:49 
SpringerLink DE
Gesponsert Temporal Type Theory
142.00 EUR
Preis aktualisiert am: 03-08-2026 00:42:12
142.00 EUR
Preis aktualisiert am: 03-08-2026 00:42:12 | 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.
