Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, proceedings

Runtime verification 23rd international conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: RV Thessaloniki (VerfasserIn)
Weitere Verfasser: Katsaros, Panagiotis 1969- (HerausgeberIn), Nenzi, Laura (HerausgeberIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Cham, Switzerland Springer [2023]
Schriftenreihe:Lecture notes in computer science 14245
Schlagworte:
Software Engineering
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Artificial Intelligence
Algorithms
Compilers and Interpreters
Software engineering
Machine theory
Computer science
Artificial intelligence
Compilers (Computer programs)
Künstliche Intelligenz
Mathematische Logik
Konferenzschrift > 2023 > Thessaloniki
Online-Zugang:DE-522
DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ähnliche Einträge