Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Oktober 2021
Genre:	EDV / Informatik
	angewandte informatik / ArtificialIntelligence / Automation / computerprogramming / computersystems / Databases / distributedcomputersystems / embeddedsystems / formallogic / formalmethods / Knowledge-basedsystem / Künstliche Intelligenz (KI) / Object-OrientedProgramming / programcompilers / ProgrammingLanguages / Semantics / signalprocessing / Software Engineering / softwarearchitecture / Softwaredesign / Softwareengineering / Verification / verificationandvalidation mehr...
ISBN:	9783030891589
EAN-Code:	9783030891589
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 28 mm
Gewicht:	774 gr
Seiten:	516
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends. The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.