Raamatud Nir Piterman
Valikule vastavaid tooteid ei leitud.
-25%
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
52,90 €
70,53 €
-25% koodiga BOOKS
Meie tarnija laos