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
NASA Formal Methods
Paperback
 
Price: £44.99
Usually dispatched within 3 weeks
Algorithms for Verifying Deep Neural Networks
Paperback
 
Price: £85.00
This product is currently unavailable
Identifying and Mitigating the Security Risks of Generative AI
Paperback
 
Price: £46.95
This product is currently unavailable
QED and Symbolic QED
Hardback
 
Price: £76.00
This product is currently unavailable
Automated Deduction – CADE 30
Paperback
 
Price: £34.99
This product is currently unavailable
QED and Symbolic QED
Paperback
 
Price: £76.00
This product is currently unavailable