Placeholder text
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
By José Proença
0 - Default Title
Description
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.
Product details
Binding:
Paperback
Number of Pages:
300
Release Date:
2025-08-12
Publication Date:
2025-08-12
Publisher:
Springer
Languages:
Original:
English
ISBN10:
3031947479
ISBN13:
9783031947476
GPSR Manufacturer Reference:
Weight:
458 g
Height:
155 cm
Width:
235 cm
Thickness:
17 cm
Currently sold out