Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics
Autor:
Fabio Mogavero
Disponibilitate:
La editor doar la comandă
Expediem în 17-27 zile
294.57
lei
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp...
