Toggle Nav
Menu

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
291 Seiten, Taschenbuch
€ 81,39
-
+
Lieferung in 7-14 Werktagen

Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.

Abbrechen Weiter einkaufen
Mehr Informationen
Reihe Lecture Notes in Computer Science
Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
ISBN 9783031947476
Sprache Englisch
Erscheinungsdatum 12.08.2025
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
LieferzeitLieferung in 7-14 Werktagen
HerstellerangabenAnzeigen
Springer Nature Customer Service Center GmbH
Europaplatz 3 | DE-69115 Heidelberg
ProductSafety@springernature.com
Unsere Prinzipien
  • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
  • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
  • ✔ alle FALTER-Produkte und Abos, nur hier!
  • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
  • ✔ keine Weitergabe personenbezogener Daten an Dritte
  • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
Kurzbeschreibung des Verlags

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.

    • Mehr Informationen
    Reihe Lecture Notes in Computer Science
    Themen Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
    ISBN 9783031947476
    Sprache Englisch
    Erscheinungsdatum 12.08.2025
    Größe 23.5 x 15.5 cm
    Verlag Springer International Publishing
    Herausgegeben von José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
    LieferzeitLieferung in 7-14 Werktagen
    HerstellerangabenAnzeigen
    Springer Nature Customer Service Center GmbH
    Europaplatz 3 | DE-69115 Heidelberg
    ProductSafety@springernature.com
    Unsere Prinzipien
    • ✔ kostenlose Lieferung innerhalb Österreichs ab € 35,–
    • ✔ über 1,5 Mio. Bücher, DVDs & CDs im Angebot
    • ✔ alle FALTER-Produkte und Abos, nur hier!
    • ✔ hohe Sicherheit durch SSL-Verschlüsselung (RSA 4096 bit)
    • ✔ keine Weitergabe personenbezogener Daten an Dritte
    • ✔ als 100% österreichisches Unternehmen liefern wir innerhalb Österreichs mit der Österreichischen Post
    Diese Produkte könnten Sie auch interessieren:
    GUTSCHEIN
    faltershop Gutscheinfaltershop Gutschein
    Falter-Schürze WürstelFalter-Schürze Würstel
    Das Problembär-ShirtDas Problembär-Shirt