Toggle Nav
Menu

Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers
237 Seiten, Taschenbuch
€ 110,79
-
+
Erscheint am 28.10.2026

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 9783032297129
Sprache Englisch
Erscheinungsdatum 28.10.2026
Größe 23.5 x 15.5 cm
Verlag Springer International Publishing
Herausgegeben von Francesco Bianchini, Arianna Pavone, José Proença, José Ignacio Requeno Jarabo, Umberto Rivieccio
LieferzeitErscheint am 28.10.2026
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!
  • ✔ 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 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025. The 12 full papers and 5 short papers presented in this book were carefully reviewed and selected from 26 submissions. SEFM 2025 Collocated Workshops presents the following two workshops:

  • ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.
  • CIFMA 2025: 7th 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 9783032297129
    Sprache Englisch
    Erscheinungsdatum 28.10.2026
    Größe 23.5 x 15.5 cm
    Verlag Springer International Publishing
    Herausgegeben von Francesco Bianchini, Arianna Pavone, José Proença, José Ignacio Requeno Jarabo, Umberto Rivieccio
    LieferzeitErscheint am 28.10.2026
    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!
    • ✔ 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
    Tex Tassen No. 8Tex Tassen No. 8