Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2026
Genre:	EDV / Informatik
	Debugging / Fault Prevention / Formal Languages and Automata Theory / program analysis / Security / Software Engineering / Software Testing / Specification / Theoretische Informatik / VALIDATION / Verification mehr...
ISBN:	9789819560318
EAN-Code:	9789819560318
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	179
Illustration:	XIV, 179 p. 63 illus., 27 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 book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025. The 11 full papers included in this book were carefully reviewed and selected from 31 submissions. They are grouped into the following topics: AI-driven approaches, and their combinations can be explored, established.