Kirjat Nir Piterman
Valintaa vastaavia tuotteita ei löytynyt.
-25%
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
52,90 €
70,53 €
-25% koodilla BOOKS
Toimittajalla varastossa