Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	Juni 2024
Genre:	EDV / Informatik
	AbstractMachines / angewandte informatik / Computerhardware / Computingmethodologies / formallanguagedefinitions / formalmethods / interactivecomputation / Künstliche Intelligenz (KI) / modelchecking / modeldevelopmentandanalysis / modelingandsimulation / modelsofcomputation / modelvalidation / propertyverification / Semantics / simulationsupportsystems / Softwareengineering / Softwarenotationsandtools / State-basedmethods / systemspecification / Theoretische Informatik / Theoryofcomputation / Tooldevelopment mehr...
ISBN:	9783031637896
EAN-Code:	9783031637896
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 23 mm
Gewicht:	628 gr
Seiten:	416
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25-28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.