Description

a huge range and FREE tracked UK delivery on ALL orders.

Symbolic Model Checking

    Product form

    £999.99

    Includes FREE delivery

    A Hardback by Kenneth McMillan

    Out of stock

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

      View other formats and editions of Symbolic Model Checking by Kenneth McMillan

      Publisher: Springer
      Publication Date: 31/07/1993
      ISBN13: 9780792393801, 978-0792393801
      ISBN10:
      Also in:
      Mathematics Mathematical logic Technology, Engineering & Agriculture Electronics: circuits and components

      Description

      a huge range and FREE tracked UK delivery on ALL orders.

      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