Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Temporal Type Theory
sidottu,
2019,
englanti,
ISBN 9783030007034
This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the …