Knygos pagal Nir Piterman
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
52,90 €
70,53 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją