Temporal Logics in Computer Science: Finite-State Systems by Stephane Demri (Eng
158,29 €
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:
