Siirry suoraan sisältöön
Temporal Type Theory
Tallenna

Temporal Type Theory

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems.
Alaotsikko
A Topos-Theoretic Approach to Systems and Behavior
Painos
2019 ed.
ISBN
9783030007034
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
11.2.2019
Sivumäärä
235