Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops 1
Kommande
bokomslag Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Data & IT

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

José Proença • Raul Fervari • Manuel A Martins • Reinhard Kahle • Graham Pluck

Pocket

1539:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

  • 2025
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops: ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications. CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
  • Författare: José Proença, Raul Fervari, Manuel A Martins, Reinhard Kahle, Graham Pluck
  • Format: Pocket/Paperback
  • ISBN: 9783031947476
  • Språk: Engelska
  • Utgivningsdatum: 2025-07-17
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Die verlorene Ehre der Katharina Blum von Heinrich Böll: Lektüreschlüssel mit Inhaltsangabe, Interpretation, Prüfungsaufgaben mit Lösungen, Lernglossar. (Reclam Lektüreschlüssel XL)

    Die verlorene Ehre der Katharina Blum...

    Bernd Völkl Heinrich Böll

    Pocket

    129:-
  2. bokomslag Computational Complexity and Feasibility of Data Processing and Interval Computations

    Computational Complexity and Feasibil...

    V Kreinovich, A V Lakeyev, J Rohn, P T Kahl, P T Kahl

    Inbunden

    2819:-
  3. bokomslag Restaurant Service Basics

    Restaurant Service Basics

    Sondra J Dahmer, Kurt W Kahl, Sondra J Dahmer, Kurt W Kahl

    Pocket

    699:-
  4. bokomslag Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops

    Software Engineering and Formal Metho...

    Alessandro Aldini

    Pocket

    589:-
  5. bokomslag Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops

    Software Engineering and Formal Metho...

    Antonio Cerone, Marco Autili, Alessio Bucaioni, Cludio Gomes, Pierluigi Graziani

    Pocket

    719:-
  6. bokomslag Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops

    Software Engineering and Formal Metho...

    Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri

    Pocket

    1599:-
  7. bokomslag Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

    Software Engineering and Formal Metho...

    Mieke Massink Loek Cleophas

    Pocket

    719:-
  8. bokomslag Computational Complexity and Feasibility of Data Processing and Interval Computations

    Computational Complexity and Feasibil...

    V Kreinovich, A V Lakeyev, J Rohn, P T Kahl, P T Kahl

    2799:-
  9. bokomslag Software Engineering And Formal Methods. Sefm 2022 Collocated Workshops

    Software Engineering And Formal Metho...

    Masci Paolo Masci, Bernardeschi Cinzia Bernardeschi, Graziani Pierluigi Graziani

    Pocket

    869:-
  10. bokomslag Vanessa and her Correspondence With Jonathan Swift

    Vanessa and her Correspondence With J...

    Jonathan Swift, Vanessa, A Martin Freeman, Vanessa

    Klotband

    629:-

Andra av samma författare

  1. bokomslag Intensionality

    Intensionality

    Reinhard Kahle

    Inbunden

    2029:-
  2. bokomslag Intensionality

    Intensionality

    Reinhard Kahle

    Pocket

    899:-
  3. bokomslag Molecular Logic and Computational Synthetic Biology

    Molecular Logic and Computational Syn...

    Manuel A Martins Madalena Chaves

    Pocket

    719:-
  4. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Inbunden

    1699:-
  5. bokomslag Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    Michael Rathjen Reinhard Kahle

    Pocket

    1699:-
  6. bokomslag Dynamic Logic. New Trends and Applications

    Dynamic Logic. New Trends and Applica...

    Igor Sedlár Manuel A Martins

    Pocket

    739:-
  7. bokomslag Axiomatic Thinking I

    Axiomatic Thinking I

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Inbunden

    1279:-
  8. bokomslag Axiomatic Thinking I

    Axiomatic Thinking I

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Pocket

    1279:-
  9. bokomslag Axiomatic Thinking II

    Axiomatic Thinking II

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Inbunden

    1419:-
  10. bokomslag Axiomatic Thinking II

    Axiomatic Thinking II

    Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga

    Pocket

    1419:-