Products

Product categories

Filters

Filters

Clear all
2 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
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of th,Used Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of th,Used
Add to wishlist
Quick view
Add to compare
Tools and Algorithms for the Construction and Analysis of Systems:...
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in...
Sale price$75.16 Regular price$107.37
Quantity
Add to cart

Recently viewed products