Significant service restrictions in the lending area from 17 March!
  • Runtime Verification

Result: Runtime Verification

Title:
Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings / edited by Panagiotis Katsaros, Laura Nenzi
Involved:
Katsaros, Panagiotis (Herausgeber); Nenzi, Laura (Herausgeber)
Edition:
1st ed. 2023
Published:
Cham : Springer Nature Switzerland, 2023
Distribution:
Cham : Springer International Publishing AG
Scope:
1 Online-Ressource (XI, 490 Seiten) : 128 illus., 101 illus. in color.
Format:
eBook
Language:
English
Series/ Mutipart item:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 14245
Other editions:
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

Additional information

Additional functions