Temporal Type Theory
128.39 EUR
Dieses Buch führt in die Zeitabhängige Typentheorie ein, indem es Topos-Theorie nutzt, um dynamische Systeme präzise zu modellieren und ihr Verhalten formal zu analysieren.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic, Band 29)
Medimops DE
08-06-2026 14:44:08
SpringerLink DE 
