Software Engineering and Formal Methods, Kartoniert / Broschiert
Software Engineering and Formal Methods
Buch
- 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
Derzeit nicht erhältlich.
Lassen Sie sich über unseren eCourier benachrichtigen, falls das Produkt bestellt werden kann.
Lassen Sie sich über unseren eCourier benachrichtigen, falls das Produkt bestellt werden kann.
- Herausgeber:
- Domenico Bianculli, Elena Gómez-Martínez
- Verlag:
- Springer, 11/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032104434
- Umfang:
- 300 Seiten
- Gewicht:
- 458 g
- Maße:
- 235 x 155 mm
- Stärke:
- 17 mm
- Erscheinungstermin:
- 12.11.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Weitere Ausgaben von Software Engineering and Formal Methods |
Preis |
|---|
Ähnliche Artikel
Klappentext
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 proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.
