Applying Automated Theorem Proving to Computer Security

Name: Applying Automated Theorem Proving to Computer Security
Brand: BiblioScholar
SKU: 9781288254507
Price: 18.52 GBP

Product form

£18.52

Includes FREE delivery

RRP £24.70 – you save £6.18 (25%)

Order before 4pm today for delivery by Tue 14 Jul 2026.

A Paperback by Kelly Mcelroy

Out of stock

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

Publisher: BiblioScholar
Publication Date: 09/11/2012
ISBN13: 9781288254507, 978-1288254507
ISBN10:

Also in:
Mathematics Mathematical logic