Description

Book Synopsis
1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.

Concise Guide to Software Verification

    Product form

    £49.49

    Includes FREE delivery

    RRP £54.99 – you save £5.50 (10%)

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

    A Paperback by Marieke Huisman

    Out of stock


      View other formats and editions of Concise Guide to Software Verification by Marieke Huisman

      Publisher: Springer
      Publication Date: 7/26/2024
      ISBN13: 9783031301698, 978-3031301698
      ISBN10: 3031301692

      Description

      Book Synopsis
      1. Introduction.- 2. Background on First-Order Logic and Set Theory.- 3. System Modelling.- 4. Crash Course on Temporal Logic and its Verification.- 5. Software Analysis.- 6. Crash Course on Design by Contract Specifications.- 7. Run-time checking of Design by Contract Specifications.- 8. Static Checking of Design by Contract Specification.- 9. Abstract Specifications.

      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