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
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 81,04
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Domenico Bianculli, Elena Gómez-Martínez
- Verlag:
- Springer, 11/2025
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032104434
- Artikelnummer:
- 12477108
- 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 |
|---|
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.
Software Engineering and Formal Methods
Aktueller Preis: EUR 81,04
