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 Thu 15 Jan 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
    Also in:
    Software testing and verification

    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