Zeitliche Logik in der Informatik: Endliche Systeme von Stephane Demri (Eng.
178,19 €
By Stephane Demri, Valentin Goranko, Martin Lange. 'In summary, the book presents the most important and influential temporal logics, presents their properties, and introduces the most important tools to reason about temporal logics.
Jetzt bei Ebay:
