Gå direkte til innholdet
Temporal Type Theory
Spar

Temporal Type Theory

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
Undertittel
A Topos-Theoretic Approach to Systems and Behavior
Opplag
2019 ed.
ISBN
9783030007034
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
11.2.2019
Antall sider
235