Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics
Автор:
Fabio Mogavero
Наличност:
Налично при издателя, по поръчка
Изпращаме след 17-27 дни
58.92
€
115.23 лв
In this monograph we introduce and examine four new temporal logic formalisms that can be used as sp...
