Description

Book Synopsis

This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

Foundations of Software Science and Computation

    Product form

    £33.24

    Includes FREE delivery

    RRP £34.99 – you save £1.75 (5%)

    Order before 4pm today for delivery by Thu 2 Jul 2026.

    A Paperback / softback by Patricia Bouyer, Lutz Schröder

    5 in stock

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

      View other formats and editions of Foundations of Software Science and Computation by Patricia Bouyer

      Publisher: Springer Nature Switzerland AG
      Publication Date: 29/03/2022
      ISBN13: 9783030992521, 978-3030992521
      ISBN10: 3030992527
      Also in:
      Mathematical theory of computation Mathematical foundations Mathematical logic

      Description

      Book Synopsis

      This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.

      The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

      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