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
22-04-2026 19:56:43
SpringerLink DE 
