An Application of Automated Theorem Provers to Computer System Security

    Product form

    £14.96

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Thu 18 Jun 2026.

    A Paperback by Mitchell David Irwin Hirschfeld

    15 in stock


      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:
      Also in:
      Mathematics Mathematical logic

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account