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 today for delivery by Mon 12 Jan 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