Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

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

AvGraham Pluck,Reinhard Kahle

E-bok
Engelska, 2025

1 022 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

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.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

4,0 utav 5 stjärnor. Totalt antal röster:(4)

69 kr99 kr

  • -19%

Ultravåld

Tone Schunnesson

Inbunden, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(5)

209 kr259 kr

  • -30%

En dold skönhet

Lucinda Riley

Pocket, 2026

4,6 utav 5 stjärnor. Totalt antal röster:(18)

69 kr99 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,2 utav 5 stjärnor. Totalt antal röster:(30)

99 kr

  • -23%

Kött

David Szalay

Inbunden, 2026

4,5 utav 5 stjärnor. Totalt antal röster:(15)

199 kr259 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

4,5 utav 5 stjärnor. Totalt antal röster:(16)

69 kr89 kr