9783032104434 - software engineering and formal methods: 23rd international conference, sefm 2025, toledo, spain, november 10–14, 2025, proceedings (lecture notes in computer science, band 16192) (3 Ergebnisse)
Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 1014, 2025, Proceedings (Lecture Notes in Computer Science, 16192)
Gómez-Martínez, Elena (Editor)/ Bianculli, Domenico (Editor)
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 111,77
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 261 pages. 9.25x6.10x9.25 inches. In Stock.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 71,95
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Software Engineering and Formal Methods | 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings | Domenico Bianculli (u. a.) | Taschenbuch | xviii | Englisch | 2025 | Springer | EAN 9783032104434 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartens…tr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,08
EUR 62,29 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
