Übersicht			Auf mobile öffnen

Lieferstatus:	Vorankündigung
Veröffentlichung:	ANGEKÜNDIGT (August 2026)
Genre:	EDV / Informatik
	Cognitive Models and Applications / Computer System Implementation / Computerprogrammierung und Softwareentwicklung / Foundation of Cognition / learning experiences / Logics / Open Education / Programming Techniques / Software Engineering / Systemanalyse und -design / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9783032297129
EAN-Code:	9783032297129
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	262
Illustration:	XXXI, 262 p. 275 illus., 175 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Keine Bewertung vor Veröffentlichung möglich.

Inhalt:

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.