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

£31.49

Includes FREE delivery

RRP £34.99 – you save £3.50 (10%)

Order before 4pm tomorrow for delivery by Mon 26 Jan 2026.

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

5 in stock


    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