Computer Aided Verification

    Product form

    A Paperback by Arie Gurfinkel

    £33.24

    Includes FREE delivery

    RRP £34.99 – you save £1.75 (5%)

    Order before 4pm on Wednesday for delivery by Wed 18 Nov 2026.

    1 in stock

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

      View other formats and editions of Computer Aided Verification by Arie Gurfinkel

      Book details

      Publisher Springer
      Published 7/25/2024
      ISBN-13 9783031656293
      978-3031656293
      ISBN-10 3031656296

      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