Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 2024
Genre:	EDV / Informatik
	(Co-)simulation / Algorithmen und Datenstrukturen / architecting / componentinteraction / Composition / ComputerNetworks / computerprogramming / computersystems / Databases / engineering / formalmethods / Informationstheorie / Linguistics / Mathematics / object-orientatedprogramming / ProbabilisticReasoning / signalprocessing / Software Engineering / Softwaredesign / Softwareengineering / Softwarevariability / Systemanalyse und -design / Theoretische Informatik / verificationtechniques mehr...
ISBN:	9783031712609
EAN-Code:	9783031712609
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 10 mm
Gewicht:	265 gr
Seiten:	168
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.