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
6 Products
6 Products Page
of 1
Computer Aided Verification
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Computer Aided Verification
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Symbolic Execution and Quantitative Reasoning
Hardback
 
Price: £52.50
This product is currently unavailable
Symbolic Execution and Quantitative Reasoning
Paperback
 
Price: £31.50
This product is currently unavailable
Software Engineering and Formal Methods
Paperback
 
Price: £69.99
Usually dispatched within 3 weeks
Symbolic Execution and Quantitative Reasoning
Paperback
 
Price: £22.99
Usually dispatched within 3 weeks