Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Dezember 2021
Genre:	EDV / Informatik
	architectureverificationandvalidation / ArtificialIntelligence / Computerhardware / computerprogramming / computersystems / distributedcomputersystems / distributedsystems / embeddedsystems / formallanguages / formallogic / Künstliche Intelligenz (KI) / modelchecking / parallelprocessingsystems / ProgrammingLanguages / softwarearchitecture / Softwaredesign / Softwareengineering / Softwarequality / Theoretische Informatik / Verification / verificationandvalidation mehr...
ISBN:	9783030921231
EAN-Code:	9783030921231
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 29 mm
Gewicht:	809 gr
Seiten:	540
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions. Also included are 2 invited talks and an abstract of a keynote talk. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. Chapter 'Configuration Space Exploration for Digital Printing Systems' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.