Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 2025
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / Artificial Intelligence / Computer System Implementation / Computerhardware / Computerprogrammierung und Softwareentwicklung / Control Structures and Microprogramming / Data Structures and Information Theory / formal methods / formal verification / Informationstheorie / Künstliche Intelligenz / Logic in AI / program analysis / Program Repair / Programming Techniques / Security / Software Engineering / Software Testing / Systemanalyse und -design mehr...
ISBN:	9783032104434
EAN-Code:	9783032104434
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	280
Illustration:	XVIII, 280 p. 56 illus., 33 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.