Sort by: Relevance
Sort by
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
Sort by: Relevance
Sort by: Relevance
Relevance
Price (low to high)
Price (high to low)
Rating
Publication (old to new)
Publication (new to old)
Filters
3 Products
3 Products Page
of 1
Tools and Algorithms for the Construction and Analysis of Systems
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Extending Temporal Logic with Omega-Automata
Paperback
 
Price: £41.00
This product is currently unavailable
Hardware and Software: Verification and Testing
Paperback
 
Price: £39.99
Usually dispatched within 3 weeks