✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 418.243 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

Softcover - 9783031947476
79,17 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

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.

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

Details

Verlag Springer International Publishing
Ersterscheinung 12. August 2025
Maße 23.5 cm x 15.5 cm
Gewicht 458 Gramm
Format Softcover
ISBN-13 9783031947476
Seiten 291

Schlagwörter

Computer System Implementation, Computerprogrammierung und Softwareentwicklung, Programming Techniques, Software Engineering, Systemanalyse und -design, Theoretische Informatik, Theory of Computation

Herstellerinformationen +