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
8 Products
8 Products Page
of 1
Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
Andrei Paskevich
Paperback
 
£44.99
Usually dispatched within 3 weeks
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
Siddharth Krishna
Paperback
 
£73.50
This product is currently unavailable
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
Siddharth Krishna
Hardback
 
£94.50
This product is currently unavailable
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Bernd Finkbeiner
Paperback
 
£79.99
Usually dispatched within 3 weeks
Automated Verification of Concurrent Search Structures
Automated Verification of Concurrent Search Structures
Siddharth Krishna
Paperback
 
£49.99
Usually dispatched within 3 weeks
Programming Languages and Systems
Programming Languages and Systems
Thomas Wies
Paperback
 
£34.99
Usually dispatched within 3 weeks
Networked Systems
Networked Systems
David Mohaisen
Paperback
 
£54.99
Usually dispatched within 3 weeks
On the Pursuit of Insight and Elegance
On the Pursuit of Insight and Elegance
Daniel Dietsch
Paperback
 
£44.99
Usually dispatched within 3 weeks