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
7 Products
7 Products Page
of 1
Verified Software: Theories, Tools, and Experiments
Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel
Paperback
 
£44.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks
Computer Aided Verification
Computer Aided Verification
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Arie Gurfinkel
Paperback
 
£34.99
Usually dispatched within 3 weeks