patrick schultz
Temporal Type Theory
Sofort lieferbarThis innovative monograph explores a new mathematical formalism in higher-order temporal log...
Temporal Type Theory
Print on DemandThis innovative monograph explores a new mathematical formalism in higher-order temporal logic fo...
- 1