An Application of Automated Theorem Provers to Computer System Security
£22.75
Includes FREE deliveryRRP £23.95 – you save £1.20 (5%)
Order before 4pm today for delivery by Thu 18 Jun 2026.
A Hardback by Mitchell David Irwin Hirschfeld
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: 9781025139890, 978-1025139890
ISBN10: