Kirjat Stéphane Demri
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Temporal Logics in Computer Science: Finite-State Systems
Stéphane Demri, Valentin Goranko, Martin Lange
198,99 €
265,32 €
-25% koodilla BOOKS
Toimittajalla varastossa
-25%
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
61,86 €
82,48 €
-25% koodilla BOOKS
Toimittajalla varastossa