Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	März 2025
Genre:	EDV / Informatik
	Computer Communication Networks / Computer programming / Computer software / Computerhardware / Concurrency / Control Structures and Microprogramming / Distributed systems / formal methods / Information systems / Interactive Computing / Logic Design / Models of Computation / Netzwerk-Hardware / programming languages / Semantics / Software Engineering / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9783031870538
EAN-Code:	9783031870538
Verlag:	Springer International Publishing
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D
Seiten:	187
Illustration:	X, 187 p. 45 illus., 31 illus. in color., schwarz-weiss Illustrationen, farbige 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 proceedings of the 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025, held in Västerås, Sweden during April 7–8, 2025. The 11 full papers and 1 short paper included in this book were carefully reviewed and selected from 30 submissions. They deal with all aspects of formal methods, with a strong emphasis on promoting their industrial applications and integrating them with practical engineering practices.