From data to models and back : 10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021, revised selected papers

From data to models and back 10th International Symposium, DataMod 2021, virtual event, December 6-7, 2021, revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: DataMod (VerfasserIn)
Weitere Verfasser: Bowles, Juliana (HerausgeberIn), Broccia, Giovanna (HerausgeberIn), Pellungrini, Roberto (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Switzerland Springer 2022
Schriftenreihe:Lecture notes in computer science 13268
Schlagworte:
Electronic data processing > Data mining > Konferenzschrift > Data Mining > Mathematische Logik > Formale Methode > Model Checking
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:x, 192 Seiten
Illustrationen
24 cm
ISBN:9783031160103
978-3-031-16010-3
303116010X
3-031-16010-X