Umfassende Service-Einschränkungen ab 18. März
  • Runtime Verification
  • Beschreibung

Treffer: Runtime Verification

Titel:
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi
Beteiligt:
Katsaros, Panagiotis (Herausgeber); Nenzi, Laura (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XI, 490 Seiten) : 128 illus., 101 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14245
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Runtime Verification. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031442667
ISBN:
9783031442674 ; 3031442679 ; 978--303144266-7 (Sekundärausgabe) ; 978--303144268-1 (Sekundärausgabe)
DOI:
10.1007/978-3-031-44267-4

Zusatz-Informationen

Zusatz-Funktionen