Books by Nir Piterman
No products found matching the selection.
-20%
Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking
€56.42
€70.53
-20% with code BOOKS
In stock at our supplier