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
823 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 …
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 …
