Raul Fervari – författare
Visar alla böcker från författaren Raul Fervari. Handla med fri frakt och snabb leverans.
2 produkter
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
Av José Proença, Raul Fervari m. fl.
Häftad, 2025
832 kr
Lägg i varukorg
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 …
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Av Graham Pluck, Reinhard Kahle m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
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 …
