Applying Automated Theorem Proving to Computer Security
£18.52
Includes FREE deliveryRRP £24.70 – you save £6.18 (25%)
Order before 4pm tomorrow for delivery by Wed 17 Jun 2026.
A Paperback by Kelly Mcelroy
View other formats and editions of Applying Automated Theorem Proving to Computer Security by Kelly Mcelroy
Publisher: BiblioScholar
Publication Date: 09/11/2012
ISBN13: 9781288254507, 978-1288254507
ISBN10: