Description

Book Synopsis
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification

    Product form

    £67.99

    Includes FREE delivery

    RRP £79.99 – you save £12.00 (15%)

    Order before 4pm tomorrow for delivery by Fri 12 Jun 2026.

    A Paperback by Tiziana Margaria

    1 in stock


      View other formats and editions of Leveraging Applications of Formal Methods Verification and Validation. Specification and Verification by Tiziana Margaria

      Publisher: Springer International Publishing AG
      Publication Date: 1/30/2024
      ISBN13: 9783031753794, 978-3031753794
      ISBN10: 3031753798

      Description

      Book Synopsis
      The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

      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