Books by Stéphane Demri
No products found matching the selection.
-20%
Temporal Logics in Computer Science: Finite-State Systems
Stéphane Demri, Valentin Goranko, Martin Lange
€212.26
€265.32
-20% with code BOOKS
In stock at our supplier
-20%
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
€65.98
€82.48
-20% with code BOOKS
In stock at our supplier