Description

Book Synopsis

SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

Engineering Trustworthy Software Systems

    Product form

    £43.99

    Includes FREE delivery

    Order before 4pm tomorrow for delivery by Wed 5 Aug 2026.

    A Paperback by Jonathan P. Bowen

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

      View other formats and editions of Engineering Trustworthy Software Systems by Jonathan P. Bowen

      Publisher: Springer
      Publication Date: Publication Date: 24/04/2025
      ISBN13: 9789819646555, 978-9819646555
      ISBN10:
      Also in:
      Software Engineering

      Description

      Book Synopsis

      SETSS 2024 School.- What Came First, Mathematics or Computing?.- From Logic to Programming.- Digital Twin Tutorial: The Incubator Case Study.- AI Components for High Integrity, Safety-Critical Human-Cyber-Physical Systems _ A Challenge for Formal Methods.- Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing.- SETSS 2024 Workshop.- Software Engineering Experiences of an Optimist.- Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.

      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