An Application of Automated Theorem Provers to Computer System Security
A Paperback by Mitchell David Irwin Hirschfeld
£14.96
Includes FREE deliveryOrder before 4pm today for delivery by Sat 17 Oct 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of An Application of Automated Theorem Provers to Computer System Security by Mitchell David Irwin Hirschfeld
Book details
Publisher
Creative Media Partners, LLC
Published
22 May 2025
ISBN-13
9781025143552
978-1025143552
978-1025143552