An Application of Automated Theorem Provers to Computer System Security
£14.96
Includes FREE deliveryOrder before 4pm today for delivery by Tue 14 Jul 2026.
A Paperback by Mitchell David Irwin Hirschfeld
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
Publisher: Creative Media Partners, LLC
Publication Date: 22/05/2025
ISBN13: 9781025143552, 978-1025143552
ISBN10: