Generating Test Templates via Automated Theorem Proving

    Product form

    £14.09

    Includes FREE delivery

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

    15 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Generating Test Templates via Automated Theorem Proving by

      Publisher: Creative Media Partners, LLC
      Publication Date: 22/05/2025
      ISBN13: 9781025158259, 978-1025158259
      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