Nir Piterman grāmatas
Nav atrasti produkti, kas atbilst izvēlei.
-25%
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
52,90 €
70,53 €
-25% ar kodu BOOKS
Piegādātāja noliktavā