This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.
The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Zustand: As New. Unread book in perfect condition. Artikel-Nr. 43984845
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Artikel-Nr. 9783030884932
Anzahl: 1 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. Artikel-Nr. V9783030884932
Anzahl: 15 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Runtime Verification | 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings | Lu Feng (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2021 | Springer | EAN 9783030884932 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Artikel-Nr. 120513591
Anzahl: 5 verfügbar