Applying Automated Theorem Proving to Computer Security
A Paperback by Kelly Mcelroy
£18.52
Includes FREE deliveryRRP £24.70 – you save £6.18 (25%)
Order before 4pm today for delivery by Wed 14 Oct 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Applying Automated Theorem Proving to Computer Security by Kelly Mcelroy