New Paradigms in Computer Aided Verification

    Product form

    A Hardback by Tyler Keating

    £115.15

    Includes FREE delivery

    RRP £127.94 – you save £12.79 (9%)

    Order before 4pm on Monday for delivery by Mon 7 Dec 2026.

    Out of stock

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

      View other formats and editions of New Paradigms in Computer Aided Verification by Tyler Keating

      Book details

      Published 26 September 2023
      ISBN-13 9781639896905
      978-1639896905
      ISBN-10 1639896902

      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