Products

Product categories

Filters

Filters

Clear all
1 products
Sort by
Sort by
Extending Temporal Logic with Omegaautomata: The Automata Theoretic Techniques behind PSL Model Checking,Used Extending Temporal Logic with Omegaautomata: The Automata Theoretic Techniques behind PSL Model Checking,Used
Add to wishlist
Quick view
Add to compare
Extending Temporal Logic with Omegaautomata: The Automata Theoretic Techniques behind...
This book surveys the automata theoretic techniques that are required for model checking and satisfiability of expressive extensions of LTL that are used in specification...
Sale price$84.81 Regular price$121.16
Quantity
Add to cart

Recently viewed products