Elena Gómez-Martínez – författare
Visar alla böcker från författaren Elena Gómez-Martínez. Handla med fri frakt och snabb leverans.
2 produkter
Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
Av Domenico Bianculli, Elena Gómez-Martínez
Häftad, 2025
837 kr
Kommande
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The …
Software Engineering and Formal Methods
23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
Av Elena Gomez-Martinez, Domenico Bianculli
E-bok, 2025
1091 kr
Lägg i varukorg
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The …
